This following is alist oflemmas (or, "lemmata", i.e. minortheorems, or sometimes intermediate technical results factored out of proofs). See alsolist of axioms,list of theorems andlist of conjectures.
