Yiyang Huang, Clément L. Canonne·2022-11-21·via cs.CR updates on arXiv.org
We aim to collect buried lemmas that are useful for proofs. In particular, we try to provide self-contained proofs for those lemmas and categorise them according to their usage.