moved lemmas out of scope of needless assumption
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rAFP300d01f54b0e: renamed 'generalizes_cls' operation and proved more lemmas about it
- Branches
- Unknown
- Tags
moved lemmas out of scope of needless assumption Tags None Subscribers None |