List of lemmas

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 list is incomplete; you can help by adding missing items. (August 2008)