The "Book of Lemmas" is a collection of lemmas or results used primarily in combinatorics, number theory, and other areas of mathematics. Lemmas are propositions that are proven on the way to proving a larger theorem or result.
New to topics? Read the docs here!