List of lemmas

This is a list of lemmas (i.e. minor theorems, or sometimes intermediate technical results factored out of proofs), by Wikipedia page. See also list of theorems and list of conjectures.

• Abel's lemma
• Artin-Rees lemma
• Borel-Cantelli lemma
• Burnside's lemma
• Butterfly lemma
• Covering lemma
• Dehn's lemma
• Diagonalization lemma
• Dickson's lemma
• Euclid's lemma
• Fatou's lemma
• Fitting lemma
• Five lemma
• Fixed-point lemma for normal functions
• Fodor's lemma
• Gauss lemma
• Gödel's diagonal lemma
• Grönwall's lemma
• Hensel's lemma
• Injective test lemma
• Itô's lemma
• König's lemma
• Lambda lemma
• Lebesgue's number lemma
• Morse lemma (differential topology)
• Nakayama lemma
• Neyman-Pearson lemma
• Nine lemma (homological algebra)
• Piling-up lemma
• Poincaré lemma (differential forms)
• Pumping lemma (formal languages)
• Riemann lemma
• Sard's lemma (mathematical analysis, singularity theory)
• Schreier's subgroup lemma
• Short five lemma (homological algebra)
• Siegel's lemma (Diophantine approximation)
• Snake lemma (homological algebra)
• Sperner's lemma (combinatorics)
• Splitting lemma (homological algebra)
• Stein's lemma (probability theory)
• Ultrafilter lemma
• Urysohn's lemma
• Yoneda lemma (category theory)
• Zassenhaus lemma (group theory)
• Zorn's lemma (Kuratowski-Zorn lemma)