generalized theorem (done by Sophie Tourret) + whitespace tuning
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rAFPbc77e51ccd65: tuning + added a lemma proposed by Sophie Tourret
- Branches
- Unknown
- Tags
generalized theorem (done by Sophie Tourret) + whitespace tuning Tags None Subscribers None |