summaryrefslogtreecommitdiffstats
path: root/archive/proof.tex
Commit message (Expand)AuthorAgeFilesLines
* More proof changesYann Herklotz2020-11-181-0/+4
* Add proofYann Herklotz2020-11-181-0/+9
generated by cgit (git 2.34.1) at 2024-06-29 07:27:28 +0000