List of lemmas
This page lists the items of the Wikipedia article List of lemmas in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1347211680, with the assessment List/High.
| Outcome | Items |
|---|---|
| deferred | 158 |
The gap signals of the article are S1,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | topic | List of lemmas | deferred until 2027-05-01 | the item has the flag informal (WP9.2) | |
| #0BTP | statement | Pólya–Burnside lemma | deferred until 2027-05-01 | the item has its own article, page 251900 | |
| #0F3N | definition | Feld–Tai lemma | deferred until 2027-05-01 | the item has its own article, page 2421650 | |
| #0Q1R | statement | Zorn's lemma | deferred until 2027-05-01 | the item has its own article, page 51442 | |
| #0Y7I | statement | Lindenbaum's lemma | deferred until 2027-05-01 | the item has its own article, page 6625296 | |
| #1HRB | statement | Little's lemma | deferred until 2027-05-01 | the item has its own article, page 184920 | |
| #1P6J | statement | Cotlar–Stein lemma | deferred until 2027-05-01 | the item has its own article, page 8203600 | |
| #28WJ | statement | Lindelöf's lemma | deferred until 2027-05-01 | the item has its own article, page 6612077 | |
| #2C9A | statement | Vaughan's lemma | deferred until 2027-05-01 | the item has its own article, page 14996853 | |
| #2GLJ | statement | Abhyankar's lemma | deferred until 2027-05-01 | the item has its own article, page 9446798 | |
| #4171 | statement | Ping-pong lemma | deferred until 2027-05-01 | the item has its own article, page 18786361 | |
| #48K3 | statement | Shadowing lemma | deferred until 2027-05-01 | the item has its own article, page 27431403 | |
| #4AXH | statement | Abhyankar's lemma | deferred until 2027-05-01 | the item has its own article, page 9446798 | |
| #4CJH | statement | Hilbert's lemma | deferred until 2027-05-01 | the item has its own article, page 22284510 | |
| #4IEX | statement | Weyl's lemma (Laplace equation) | deferred until 2027-05-01 | the item has its own article, page 7852551 | |
| #4O8J | statement | Itô's lemma | deferred until 2027-05-01 | the item has its own article, page 203962 | |
| #4UW9 | statement | Mautner's lemma | deferred until 2027-05-01 | the item has its own article, page 3018887 | |
| #55N8 | statement | Hensel's lemma | deferred until 2027-05-01 | the item has its own article, page 1633368 | |
| #5CA5 | definition | Yao's XOR lemma | deferred until 2027-05-01 | the item has its own article, page 25199747 | |
| #5EHJ | statement | Johnson–Lindenstrauss lemma | deferred until 2027-05-01 | the item has its own article, page 14855952 | |
| #5HUI | statement | Horseshoe lemma | deferred until 2027-05-01 | the item has its own article, page 4603066 | |
| #5JNE | statement | Schwartz–Zippel lemma | deferred until 2027-05-01 | the item has its own article, page 2789076 | |
| #5KGN | definition | Handshaking lemma | deferred until 2027-05-01 | the item has its own article, page 9607933 | |
| #5KK9 | statement | Riesz's lemma | deferred until 2027-05-01 | the item has its own article, page 5584743 | |
| #5KPG | statement | Yoneda lemma | deferred until 2027-05-01 | the item has its own article, page 34359 | |
| #5NUV | statement | Prime avoidance lemma | deferred until 2027-05-01 | the item has its own article, page 43471536 | |
| #5QWG | statement | Watson's lemma | deferred until 2027-05-01 | the item has its own article, page 27175770 | |
| #5VEP | statement | Matrix inversion lemma | deferred until 2027-05-01 | the item has its own article, page 430493 | |
| #5VH6 | statement | Riemann–Lebesgue lemma | deferred until 2027-05-01 | the item has its own article, page 1461209 | |
| #671K | statement | Kronecker's lemma | deferred until 2027-05-01 | the item has its own article, page 3759614 | |
| #6LGQ | statement | Stechkin's lemma | deferred until 2027-05-01 | the item has its own article, page 53404828 | |
| #6MXX | statement | Goursat's lemma | deferred until 2027-05-01 | the item has its own article, page 5114212 | |
| #6VCW | statement | Isolation lemma | deferred until 2027-05-01 | the item has its own article, page 27295601 | |
| #6XXQ | statement | Frostman's lemma | deferred until 2027-05-01 | the item has its own article, page 18104093 | |
| #7397 | statement | Short five lemma | deferred until 2027-05-01 | the item has its own article, page 130280 | |
| #79M0 | statement | Berge's lemma | deferred until 2027-05-01 | the item has its own article, page 22577850 | |
| #7OHF | statement | Borel–Cantelli lemma | deferred until 2027-05-01 | the item has its own article, page 44987 | |
| #7ONY | statement | Hautus lemma | deferred until 2027-05-01 | the item has its own article, page 32573740 | |
| #7T99 | statement | Fundamental lemma (Langlands program) | deferred until 2027-05-01 | the item has its own article, page 25431009 | |
| #83YD | statement | Counting lemma | deferred until 2027-05-01 | the item has its own article, page 62471938 | |
| #8FBI | statement | Hensel's lemma | deferred until 2027-05-01 | the item has its own article, page 1633368 | |
| #8MXA | statement | Finsler's lemma | deferred until 2027-05-01 | the item has its own article, page 46732608 | |
| #8OZ8 | statement | Ky Fan lemma | deferred until 2027-05-01 | the item has its own article, page 46950491 | |
| #8R6Y | definition | Morse lemma | deferred until 2027-05-01 | the item has its own article, page 348560 | |
| #94WH | statement | Hopf lemma | deferred until 2027-05-01 | the item has its own article, page 31760095 | |
| #98LM | problem | Littlewood–Offord lemma | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #9B6F | statement | Noether's normalization lemma | deferred until 2027-05-01 | the item has its own article, page 3003553 | |
| #9JWS | statement | Lebesgue's number lemma | deferred until 2027-05-01 | the item has its own article, page 826647 | |
| #9O0B | statement | Rasiowa–Sikorski lemma | deferred until 2027-05-01 | the item has its own article, page 30864999 | |
| #9PWV | statement | Hartogs's lemma | deferred until 2027-05-01 | the item has its own article, page 21663599 | |
| #9RJL | statement | Glivenko–Cantelli lemma | deferred until 2027-05-01 | the item has its own article, page 3828409 | |
| #A6Q4 | statement | Malliavin's absolute continuity lemma | deferred until 2027-05-01 | the item has its own article, page 13650583 | |
| #AEIO | statement | Teichmüller–Tukey lemma | deferred until 2027-05-01 | the item has its own article, page 21922970 | |
| #B15A | statement | Splitting lemma | deferred until 2027-05-01 | the item has its own article, page 138378 | |
| #BN9H | statement | Szemerédi regularity lemma | deferred until 2027-05-01 | the item has its own article, page 1962417 | |
| #BOP0 | definition | Jónsson's lemma | deferred until 2027-05-01 | node VT72G3BA99 has the same name, and a person decides if they are one item | |
| #BS2W | statement | Expander mixing lemma | deferred until 2027-05-01 | the item has its own article, page 6230931 | |
| #BSTY | statement | Snake lemma | deferred until 2027-05-01 | the item has its own article, page 87089 | |
| #CABV | statement | Sard's lemma | deferred until 2027-05-01 | the item has its own article, page 914901 | |
| #CD56 | statement | Margulis lemma | deferred until 2027-05-01 | the item has its own article, page 5180277 | |
| #CDHH | definition | Barbalat's lemma | deferred until 2027-05-01 | the item has its own article, page 363360 | |
| #CJNF | statement | Nine lemma | deferred until 2027-05-01 | the item has its own article, page 454673 | |
| #CQ70 | statement | Schwartz–Zippel lemma | deferred until 2027-05-01 | the item has its own article, page 2789076 | |
| #CTMX | statement | Neyman–Pearson lemma | deferred until 2027-05-01 | the item has its own article, page 685158 | |
| #D0E4 | definition | Dynkin lemma | deferred until 2027-05-01 | the item has its own article, page 2549191 | |
| #D2L6 | statement | Sperner's lemma | deferred until 2027-05-01 | the item has its own article, page 465067 | |
| #DZJG | statement | Hua's lemma | deferred until 2027-05-01 | the item has its own article, page 4963399 | |
| #E94I | statement | Grönwall's lemma | deferred until 2027-05-01 | the item has its own article, page 1770447 | |
| #EAK9 | statement | Gauss's lemma | deferred until 2027-05-01 | the item has its own article, page 15585793 | |
| #EGCG | statement | Nakayama lemma | deferred until 2027-05-01 | the item has its own article, page 1835001 | |
| #EK6W | statement | Fatou's lemma | deferred until 2027-05-01 | the item has its own article, page 291614 | |
| #EK96 | definition | Fekete's lemma | deferred until 2027-05-01 | the item has its own article, page 2597408 | |
| #ETS5 | definition | Ultrafilter lemma | deferred until 2027-05-01 | the item has its own article, page 67416519 | |
| #F0AG | statement | Jordan's lemma | deferred until 2027-05-01 | the item has its own article, page 4743700 | |
| #F2KP | definition | Delta lemma | deferred until 2027-05-01 | the item has its own article, page 8208248 | |
| #F4MB | statement | Stewart–Walker lemma | deferred until 2027-05-01 | the item has its own article, page 5652832 | |
| #FDYP | statement | Kőnig's lemma | deferred until 2027-05-01 | the item has its own article, page 153788 | |
| #FGQ3 | statement | Whitehead's lemma | deferred until 2027-05-01 | the item has its own article, page 39331156 | |
| #FGRD | unknown | Switching lemma | deferred until 2027-05-01 | the kind of the item is unknown | |
| #FH27 | statement | Bergman's diamond lemma | deferred until 2027-05-01 | the item has its own article, page 67893191 | |
| #FNT1 | statement | Cousin's lemma | deferred until 2027-05-01 | the item has its own article, page 26013068 | |
| #FRKP | statement | Five lemma | deferred until 2027-05-01 | the item has its own article, page 138214 | |
| #FY1T | statement | Bramble–Hilbert lemma | deferred until 2027-05-01 | the item has its own article, page 13925681 | |
| #G1KT | statement | Archimedes's lemmas | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #GHLI | statement | Leftover hash lemma | deferred until 2027-05-01 | the item has its own article, page 7006101 | |
| #GIZK | statement | Newman's lemma | deferred until 2027-05-01 | the item has its own article, page 6038529 | |
| #GJC1 | statement | Gauss's lemma (polynomials) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #GTDB | statement | Kelly's lemma | deferred until 2027-05-01 | the item has its own article, page 38477955 | |
| #GVXT | statement | Krull's separation lemma | deferred until 2027-05-01 | the item has its own article, page 61728386 | |
| #H3UP | definition | Abel's lemma | deferred until 2027-05-01 | the item has its own article, page 246188 | |
| #HA8D | statement | Robbins lemma | deferred until 2027-05-01 | the item has its own article, page 13342698 | |
| #HBPI | statement | Piling-up lemma | deferred until 2027-05-01 | the item has its own article, page 715186 | |
| #HE6H | statement | Fundamental lemma of the calculus of variations | deferred until 2027-05-01 | the item has its own article, page 2461914 | |
| #HJ72 | statement | Poincaré lemma | deferred until 2027-05-01 | the item has its own article, page 404181 | |
| #HKNC | statement | Forking lemma | deferred until 2027-05-01 | the item has its own article, page 19075862 | |
| #HMMV | statement | Bhaskara's lemma | deferred until 2027-05-01 | the item has its own article, page 13486743 | |
| #HPIE | statement | Diagonal lemma | deferred until 2027-05-01 | the item has its own article, page 348969 | |
| #HRQX | statement | Hua's lemma | deferred until 2027-05-01 | the item has its own article, page 4963399 | |
| #I0YC | definition | Dwork's lemma | deferred until 2027-05-01 | the item has its own article, page 5753249 | |
| #I3VA | definition | Frattini's lemma | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #IERB | statement | Urysohn's lemma | deferred until 2027-05-01 | the item has its own article, page 49253 | |
| #IGKX | statement | Schanuel's lemma | deferred until 2027-05-01 | the item has its own article, page 15583411 | |
| #IHL3 | statement | Schur's lemma | deferred until 2027-05-01 | the item has its own article, page 22203669 | |
| #IS60 | statement | Stein's lemma | deferred until 2027-05-01 | the item has its own article, page 744802 | |
| #J0RP | statement | Euclid's lemma | deferred until 2027-05-01 | the item has its own article, page 826617 | |
| #J812 | statement | Siegel's lemma | deferred until 2027-05-01 | the item has its own article, page 11816319 | |
| #J95E | statement | Crossing lemma | deferred until 2027-05-01 | the item has its own article, page 50834770 | |
| #JE1M | statement | Moschovakis coding lemma | deferred until 2027-05-01 | the item has its own article, page 54225729 | |
| #JEF4 | statement | Burnside's lemma | deferred until 2027-05-01 | the item has its own article, page 251900 | |
| #JJVV | statement | Ogden's lemma | deferred until 2027-05-01 | the item has its own article, page 4105321 | |
| #K98Q | statement | Matrix determinant lemma | deferred until 2027-05-01 | the item has its own article, page 11269780 | |
| #KGXJ | statement | Pumping lemma | deferred until 2027-05-01 | the item has its own article, page 24449 | |
| #KKA7 | definition | Danielson–Lanczos lemma | deferred until 2027-05-01 | the item has its own article, page 352702 | |
| #LS9S | statement | Schwarz lemma | deferred until 2027-05-01 | the item has its own article, page 1432589 | |
| #LT48 | statement | Factorization lemma | deferred until 2027-05-01 | the item has its own article, page 27057803 | |
| #M75V | definition | Lax–Milgram lemma | deferred until 2027-05-01 | the item has its own article, page 3368981 | |
| #MA38 | definition | Injective test lemma | deferred until 2027-05-01 | the item has its own article, page 473775 | |
| #MN2L | statement | Farkas's lemma | deferred until 2027-05-01 | the item has its own article, page 2480226 | |
| #MUYD | statement | Céa's lemma | deferred until 2027-05-01 | the item has its own article, page 11076807 | |
| #MYEF | statement | Lovász local lemma | deferred until 2027-05-01 | the item has its own article, page 2211763 | |
| #MYTF | statement | Interchange lemma | deferred until 2027-05-01 | the item has its own article, page 59577089 | |
| #N66X | statement | Knaster–Kuratowski–Mazurkiewicz lemma | deferred until 2027-05-01 | the item has its own article, page 3963004 | |
| #N6P4 | statement | Schreier's subgroup lemma | deferred until 2027-05-01 | the item has its own article, page 897724 | |
| #OGM6 | statement | Covering lemma | deferred until 2027-05-01 | the item has its own article, page 326356 | |
| #P27X | statement | Dehn's lemma | deferred until 2027-05-01 | the item has its own article, page 4362183 | |
| #Q7NV | statement | Ellis–Numakura lemma | deferred until 2027-05-01 | the item has its own article, page 15560774 | |
| #QIDJ | statement | Fodor's lemma | deferred until 2027-05-01 | the item has its own article, page 1679022 | |
| #QTEZ | statement | Vitali covering lemma | deferred until 2027-05-01 | the item has its own article, page 10102876 | |
| #RDPN | statement | Finsler's lemma | deferred until 2027-05-01 | the item has its own article, page 46732608 | |
| #S5KM | statement | Borel's lemma | deferred until 2027-05-01 | the item has its own article, page 1461105 | |
| #SDZM | statement | Gauss's lemma (Riemannian geometry) | deferred until 2027-05-01 | the item has its own article, page 15585793 | |
| #TKSA | statement | Higman's lemma | deferred until 2027-05-01 | the item has its own article, page 4187137 | |
| #U5KZ | statement | Big-little-big lemma | deferred until 2027-05-01 | the item has its own article, page 63679224 | |
| #UBQ8 | statement | Aubin–Lions lemma | deferred until 2027-05-01 | the item has its own article, page 14703145 | |
| #UFDV | statement | Gordan's lemma | deferred until 2027-05-01 | the item has its own article, page 23835696 | |
| #UIZA | statement | Estimation lemma | deferred until 2027-05-01 | the item has its own article, page 5676427 | |
| #V3K1 | definition | Wald's lemma | deferred until 2027-05-01 | the item has its own article, page 1512013 | |
| #VB46 | statement | Fundamental lemma of sieve theory | deferred until 2027-05-01 | the item has its own article, page 18826584 | |
| #VFX5 | statement | Kalman–Yakubovich–Popov lemma | deferred until 2027-05-01 | the item has its own article, page 6267642 | |
| #W392 | statement | Artin–Rees lemma | deferred until 2027-05-01 | the item has its own article, page 9553854 | |
| #W45D | statement | Tube lemma | deferred until 2027-05-01 | the item has its own article, page 3614395 | |
| #W7BU | statement | Zolotarev's lemma | deferred until 2027-05-01 | the item has its own article, page 2995566 | |
| #W8OP | definition | Craig interpolation lemma | deferred until 2027-05-01 | the item has its own article, page 2056790 | |
| #WNM9 | statement | Shephard's lemma | deferred until 2027-05-01 | the item has its own article, page 2190008 | |
| #X2NN | statement | Dickson's lemma | deferred until 2027-05-01 | the item has its own article, page 357371 | |
| #X9A6 | statement | Mostowski collapse lemma | deferred until 2027-05-01 | the item has its own article, page 1251604 | |
| #XEC4 | statement | Fitting lemma | deferred until 2027-05-01 | the item has its own article, page 794492 | |
| #XL0P | statement | Zassenhaus lemma | deferred until 2027-05-01 | the item has its own article, page 877209 | |
| #YCUJ | unknown | Doob–Dynkin lemma | deferred until 2027-05-01 | the kind of the item is unknown | |
| #YHFN | statement | Shapiro's lemma | deferred until 2027-05-01 | the item has its own article, page 18665459 | |
| #YIIF | topic | Lemma on the Logarithmic derivative | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #YXR6 | statement | Hotelling's lemma | deferred until 2027-05-01 | the item has its own article, page 3394448 | |
| #Z2GU | statement | Bézout's lemma | deferred until 2027-05-01 | the item has its own article, page 4947 | |
| #Z3W1 | statement | Zariski's lemma | deferred until 2027-05-01 | the item has its own article, page 37279342 | |
| #Z9CQ | statement | Fixed-point lemma for normal functions | deferred until 2027-05-01 | the item has its own article, page 404343 | |
| #ZN8W | statement | Kac's lemma | deferred until 2027-05-01 | the item has its own article, page 63490326 | |
| #ZVYM | statement | Ehrling's lemma | deferred until 2027-05-01 | the item has its own article, page 7260876 | |
| #ZZEA | statement | Pugh's closing lemma | deferred until 2027-05-01 | the item has its own article, page 14617622 |
Refer to Wikipedia articles and their nodes for the other articles.