Shortening some proofs
Description
Description
Details
Details
- Provenance
carolos@live.nl Authored on - Parents
- rAFP96cdd93b2da4: Correcting misleading notation
- Branches
- Unknown
- Tags
Shortening some proofs Tags None Subscribers None
Description
Details
|