Findings:

• Urysohn lemma
• Schur's Lemma
• five lemma
• Lebesgue number lemma
• Steinitz Exchange Lemma
• Burnside's Lemma
• Preservation Lemma
• Progress Lemma
• Canonical Forms Lemma
• Euclid's lemma
• Sperner's Lemma
• diagram 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
• Schwarz lemma
• pumping lemma
• pumping lemma proof that the balanced braces language is not regular
• Neyman-Pearson Lemma
• Using Bayes' theorem and the Neyman-Pearson Lemma to decide
• pumping lemma proof that the "a^n b^n" language is not regular
• Zorn's lemma
• Lemma
• Proof of the Schwarz lemma
• Gauss's Lemma
• Kronecker's lemma
• NSA: Robinson's "overspill" lemma
• Jordan's Lemma
• Ito's Lemma
• Weyl's lemma
• short five lemma

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