Similar to オグデンの補題
5項補題
Five lemma9項補題
Nine lemma正規言語の反復補題
Pumping lemma for regular languagesΔ-システム補題
Sunflower (mathematics)▲1 trends反復補題
Pumping lemma文脈自由言語の反復補題
Pumping lemma for context-free languagesL-system
L-systemMizar
Mizar system0
0▼-1 trends1
12
23
34
45
56
67
78
89
912345679
補題
Lemma (mathematics)アルティン・リースの補題
Artin–Rees lemma伊藤の補題
Itô's lemma岡の補題
Oka's lemmaオズグットの補題
Osgood's lemma開写像と閉写像
Open and closed mapsガウスの補題 (数論)
Gauss's lemma (number theory)擬軌道尾行性の補題
Shadowing lemma▲1 trendsクロネッカーの補題
Kronecker's lemma