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