Similar to 岡の補題

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

Alexander polynomial

List of things named after Alexander Grothendieck

Anscombe's quartet

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