List of lemmas
From Wikipedia, the free encyclopedia
This following is a list of lemmas (or, "lemmata", i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures.
This is a dynamic list and may never be able to satisfy particular standards for completeness. You can help by adding missing items with reliable sources.