Shorter proofs and leaner notation.
Description
Description
Details
Details
- Provenance
Asta Halkjær From <andro.from@gmail.com> Authored on - Parents
- rAFP4b39efe5aa65: Minor updates supplied by the author, mostly connected with a reference to a…
- Branches
- Unknown
- Tags