Source: wikibot/book-of-lemmas
= Book of Lemmas
{wiki=Book_of_Lemmas}
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.