Ian Jauslin
summaryrefslogtreecommitdiff
path: root/README
AgeCommit message (Expand)Author
2022-06-15Fix notations and typos, and shorten proof of lemma A1.1v1.0.1Ian Jauslin
2022-06-14Initial commitv1.0Ian Jauslin