Findings:

• Sperner's Lemma
• short five lemma
• diagram lemma
• five lemma
• Lebesgue number lemma
• Steinitz Exchange Lemma
• Burnside's Lemma
• Preservation Lemma
• Progress Lemma
• Canonical Forms Lemma
• Euclid's lemma
• Weyl's lemma
• Schur's Lemma
• Lemma of Choice
• Fatou's lemma
• rising sun lemma
• the fundamental lemma of variational calculus
• Vitali's covering lemma
• Caratheodory's lemma
• The basic lemma
• Leapfrog Lemma
• Using Bayes' theorem and the Neyman-Pearson Lemma to decide
• Hausdorff dimension
• Hausdorff space
• Hausdorff distance
• Lemma
• pumping lemma
• pumping lemma proof that the balanced braces language is not regular
• Neyman-Pearson Lemma
• pumping lemma proof that the "a^n b^n" language is not regular
• Zorn's lemma
• Schwarz lemma
• Proof of the Schwarz lemma
• Gauss's Lemma
• Kronecker's lemma
• NSA: Robinson's "overspill" lemma
• Jordan's Lemma
• Urysohn lemma
• Ito's Lemma

If you Log in you could create a "Hausdorff maximality lemma" node. If you don't already have an account, you can register here.