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
1▼-1 trends2
2▲1 trends3
34
45
56
67
7▼-1 trends8
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