Similar to 岡の補題

Snake lemma

Horseshoe lemma

Mostowski collapse lemma

Yoneda lemma

Rasiowa–Sikorski lemma

Riesz's lemma

Riemann–Lebesgue lemma

Lebesgue's number lemma

Weyl's lemma (Laplace equation)

Einstein's constant

Anderson–Darling test

Anne's theorem

Egan conjecture

Iitaka dimension

Yates's correction for continuity

Jessen's icosahedron

Hjelmslev's theorem

Chern–Gauss–Bonnet theorem

Generalized Stokes theorem

Generalized Riemann hypothesis

Yff center of congruence

Iwasawa group

Iwasawa theory

Weierstrass elliptic function