renamed 'generalizes_cls' operation and proved more lemmas about it
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rAFP5e97b5d46902: tuning Saturation_Framework
- Branches
- Unknown
- Tags
renamed 'generalizes_cls' operation and proved more lemmas about it Tags None Subscribers None |