2 commits

Author	SHA1	Message	Date
Théophile Bastian	d25a1476ae	Start writeup of defs; very tentative remark/proof	2024-01-06 23:53:31 +01:00
Théophile Bastian	3cbcc8c6a2	Add Notations page	2023-09-14 17:05:57 +02:00