tuning + added a lemma proposed by Sophie Tourret
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rAFP2f1b1f57bd12: moved lemma where it belonged
- Branches
- Unknown
- Tags
tuning + added a lemma proposed by Sophie Tourret Tags None Subscribers None |