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.

A commutative diagram that illustrates the five lemma
diagram of a length-8 fast Fourier transform
diagram of a length-8 fast Fourier transform
An example of a covering described by the Knaster–Kuratowski–Mazurkiewicz lemma