List of lemmas
This following is a list of lemmas. See also list of axioms, list of theorems and list of conjectures.
- 0/1 Sorting lemma
- Abel's lemma
- Abhyankar's lemma
- Archimedes's lemmas
- Artin–Rees lemma
- Aubin–Lions lemma
- Barbalat's lemma
- Basic perturbation lemma
- Berge's lemma
- Bézout's lemma
- Bhaskara's lemma
- Blichfeldt's lemma
- Borel's lemma
- Borel–Cantelli lemma
- Bounding lemmas, of which there are several
- Bramble–Hilbert lemma
- Brezis–Lions lemma
- Burnside's lemma also known as the Cauchy–Frobenius lemma
- Céa's lemma
- Closed map lemma
- Closeness lemma
- Commutation lemmas, of which there are several
- Composition lemmas, of which there are several
- Cotlar–Stein lemma
- Couchman's lemma
- Counting lemmas, of which there are several
- Cousin's lemma
- Covering lemma
- Craig interpolation lemma
- Crossing lemma
- Danielson–Lanczos lemma
- Davis–Figiel–Johnson–Pelczynski factorization lemma
- Dehn's lemma
- Delta lemma
- Deny–Lions lemma
- Diagonal lemma
- Dickson's lemma
- Dobrushin's lemma
- Doob-Dynkin lemma
- Dwork's lemma
- Dynkin lemma
- Ehrling's lemma
- Ellis–Numakura lemma
- Estimation lemma
- Euclid's lemma
- Expander mixing lemma
- Expansion lemmas, of which there are several
- Factorization lemma
- Farkas's lemma
- Fatou's lemma
- Feinstein's fundamental lemma
- Fekete's lemma
- Feld–Tai lemma
- Finsler's lemma
- Fitting lemma
- Five lemma
- Fixed-point lemma for normal functions
- Fodor's lemma
- Forking lemma
- Frattini's lemma
- Friedrichs's lemma
- Frostman's lemma
- Fundamental lemma
- Fundamental lemma of calculus of variations
- Fundamental lemma of interpolation theory
- Fundamental lemma of sieve theory
- Gauss's lemmas
- Glivenko–Cantelli lemma
- Gödel's diagonal lemma
- Goursat's lemma
- Grönwall's inequality Grönwall's lemma
- Gromov's convex integration lemma
- Gross's integration lemma
- Grothendieck lemma
- Handshaking lemma
- Hardy–Littlewood lemma
- Harmonic series summation lemma
- Haruki's lemma
- Hartogs's lemma
- Hayashi's connecting lemma
- Hensel's lemma
- Higman's lemma
- Hindley–Rosen lemma
- Hopf lemma
- Horseshoe lemma
- Hotelling's lemma
- Hua's lemma
- Huet's strong confluence lemma
- Injective test lemma
- Integration lemmas, of which there are several
- Iteration lemmas, of which there are several
- Itô's lemma
- Johnson–Lindenstrauss lemma
- Jónsson's lemma
- Jordan's lemma
- Kalman–Yakubovich–Popov lemma
- Kelly's lemma
- Klop's lemma
- Knaster–Kuratowski–Mazurkiewicz lemma
- Knuth's 0-1 sorting lemma
- Kőnig's lemma
- Kronecker's lemma
- Krull's separation lemma
- Lambda lemma for normally hyperbolic invariant manifolds
- Lax–Milgram lemma
- Lebesgue's number lemma
- Leftover hash lemma
- Lindelöf's lemma
- Lindenbaum's lemma
- Lions's lemma
- Little's lemma
- Littlewood–Offord lemma
- Łojasiewicz factorization lemma
- Lovász local lemma
- Malliavin's absolute continuity lemma
- Margulis lemma
- Matrix determinant lemma
- Matrix inversion lemma
- Mautner's lemma
- Morse lemma
- Moschovakis coding lemma
- Mostowski collapse lemma
- Mother's Note lemma
- Nakayama lemma
- Newman's lemma
- Neyman–Pearson lemma
- Nine lemma
- Noether's normalization lemma
- Ogden's lemma
- Parallel moves lemma
- Parity lemmas, of which there are several
- Partition lemmas, of which there are several
- Ping-pong lemma
- Piling-up lemma
- Poincaré lemma of closed and exact differential forms
- Pólya–Burnside lemma
- Prime avoidance lemma
- Pugh's closing lemma
- Pumping lemma sometimes called the Bar-Hillel lemma
- Quantifier reversal lemma
- Racah factorization lemma
- Rasiowa–Sikorski lemma
- Recursion lemmas, of which there are several
- Reduction lemmas, of which there are several
- Ricci's lemma
- Riemann–Lebesgue lemma
- Rigidity lemma
- Riesz's lemma
- Robbins lemma
- Rouche–Kronecker–Campelli lemma
- Sard's lemma
- Satisfiability coding lemma
- Schanuel's lemma
- Schreier's subgroup lemma
- Schur's lemma
- Schwarz lemma
- Schwartz–Zippel lemma
- Separation lemmas, of which there are several
- Shadowing lemma
- Shephard's lemma
- Short five lemma
- Siegel's lemma
- Snake lemma
- Sperner's lemma
- Splitting lemma
- Stechkin's lemma
- Stein's lemma
- Stewart–Walker lemma
- Switching lemma
- Szemerédi regularity lemma
- Transformation lemmas, of which there are several
- Tube lemma
- Tukey's lemma also known as the Teichmüller–Tukey lemma
- Ultrafilter lemma
- Uniform bounding lemma
- Urysohn's lemma
- Varadhan's integration lemma
- Vaughan's lemma
- Verdu–Han lemma
- Vitali covering lemma
- Vizing's adjacency lemma
- Wald's lemma
- Watson's lemma
- Weyl's lemma
- Whitehead's lemma
- Yao's XOR lemma
- Yoneda lemma,
- Zassenhaus lemma
- Zolotarev's lemma
- Zorn's lemma also known as the Kuratowski–Zorn lemma''
