2 Commits

Author	SHA1	Message	Date
Ian Jauslin	fddcf91b6a	Fix notations and typos, and shorten proof of lemma A1.1	2022-06-15 22:55:45 +02:00
Ian Jauslin	d254a3e3f4	Initial commit	2022-06-14 16:32:34 +02:00