Ian Jauslin
summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2023-03-21Update to v1.1:HEADv1.1masterIan Jauslin
2022-06-15Fix notations and typos, and shorten proof of lemma A1.1v1.0.1Ian Jauslin
2022-06-14Initial commitv1.0Ian Jauslin