| Lemma | NM3Z17JVZM | statement | open | Wikipedia Semi-Thue system#A2GC |
| Lemma | NQ755TGA8C | statement | open | Wikipedia Calculus on Euclidean space#8MK0 |
| Lemma | NSRJEH3D0S | statement | open | Wikipedia Approximate tangent space#YI4Y |
| Lemma | P86GY0W21N | statement | open | Wikipedia XTR#APIW |
| Lemma | PFWWBHZFT5 | statement | open | Wikipedia Zassenhaus lemma#MTRK |
| Lemma | PJY0Z13BTY | statement | open | Wikipedia Artin's theorem on induced characters#63LW |
| Lemma | Q0X32A11CA | statement | open | Wikipedia Open mapping theorem (functional analysis)#5X04 |
| Lemma | Q4EX7JNNTZ | statement | open | Wikipedia Hyperplane separation theorem#YCYU |
| Lemma | Q9SCC7SCEF | statement | open | Wikipedia Lin–Kernighan heuristic#HEVE |
| Lemma | QBYT1ZD4CR | statement | open | Wikipedia Ideal lattice#33C5 |
| Lemma | QJW2JBNQHF | statement | open | Wikipedia Cauchy's functional equation#8RMM |
| Lemma | QMMZJBQC8T | statement | open | Wikipedia Exponential mechanism#9KG4 |
| Lemma | QWX073JY9M | statement | open | Wikipedia Uniform convergence in probability#2G58 |
| Lemma | R0HBYK475R | statement | open | Wikipedia Lehmer–Schur algorithm#JZ61 |
| Lemma | R1YH9XDC0B | statement | open | Wikipedia Laguerre plane#LNA6 |
| Lemma | RHJR99E232 | statement | open | Wikipedia Artin transfer (group theory)#OZDZ |
| Lemma | S7C4X556KK | statement | open | Wikipedia Doob–Dynkin lemma#YITX |
| Lemma | SB5PFKAFZF | statement | open | Wikipedia Inverse function theorem#YDL5 |
| Lemma | SHD4959837 | statement | open | Wikipedia Caccioppoli set#15NL |
| Lemma | STGZJ9T98Q | statement | open | Wikipedia Grushko theorem#XGQY |
| Lemma | SX2HE96SJC | statement | open | Wikipedia Total variation#2YRJ |
| Lemma | T8ADFTM4V6 | statement | open | Wikipedia Perron–Frobenius theorem#VLP3 |
| Lemma | T8N9Q9TGP5 | statement | open | Wikipedia Gauss–Kuzmin–Wirsing operator#P2TL |
| Lemma | TWHZD8686B | statement | open | Wikipedia Special linear Lie algebra#5QAY |
| Lemma | V9C5C31VVM | statement | open | Wikipedia Derivative of the exponential map#PQQP |
| Lemma | VM8Q0BFYTJ | statement | open | Wikipedia Plünnecke–Ruzsa inequality#4KT4 |
| Lemma | VRA1J1RNFJ | statement | open | Wikipedia Artin transfer (group theory)#NYQG |
| Lemma | W8NS1417XH | statement | open | Wikipedia Poincaré lemma#8NFD |
| Lemma | W8RC8SKD13 | statement | open | Wikipedia Laguerre plane#YSBE |
| lemma | WABZ9D2R0D | definition | open | Wikipedia Glossary of logic#MLOB |
| Lemma | WG4RKVP8Z1 | statement | open | Wikipedia Cochran's theorem#UJQ5 |
| Lemma | X15XG6NSR1 | statement | open | Wikipedia Regular ideal#QV7Q |
| Lemma | XQB5DY4VFT | statement | open | Wikipedia Dimension theory (algebra)#I2FD |
| Lemma | Y2JE58JSC6 | statement | open | Wikipedia Compact operator on Hilbert space#96JT |
| Lemma | Y35G4DXENX | statement | open | Wikipedia Container method#BTZG |
| Lemma | Y8C8TD22EQ | statement | open | Wikipedia Operator theory#K5KG |
| Lemma | YJ40TFZDT4 | statement | open | Wikipedia Semisimple representation#K8DH |
| Lemma | YSSDHJFY89 | statement | open | Wikipedia Approximately finite-dimensional C*-algebra#ZKA6 |
| Lemma | Z3DB7A2YB9 | statement | open | Wikipedia Multiplier algebra#DS7D |
| Lemma | Z5AJ5EEG4A | statement | open | Wikipedia Levitzky's theorem#SISF |
| Lemma | ZBEDKNB5WX | statement | open | Wikipedia Central limit theorem#2ISE |
| Lemma | ZGCCF7YPDV | statement | open | Wikipedia Dolbeault cohomology#CHBH |
| Lemma | ZHN47A37RB | statement | open | Wikipedia Lochs's theorem#6VUG |
| Lemma | ZRGV6AMYK9 | statement | open | Wikipedia Minkowski plane#AN92 |
| Lemma | ZTRWS96JV9 | statement | open | Wikipedia Frostman lemma#L9I1 |
| Lemma $3.10$ | DGG8T9CG5X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.31294#VHNN |
| Lemma (\partial \bar \partial-lemma) | N3SNP08R93 | statement | open | Wikipedia Ddbar lemma#RDX5 |
| Lemma (Brahmagupta) | TB8QP4QRHY | statement | open | Wikipedia Indian mathematics#AFF8 |
| Lemma (Campbell 1897) | VJNSCYKF15 | statement | open | Wikipedia Baker–Campbell–Hausdorff formula#7MSV |
| Lemma (Chain bounding) | 7RQJ9R08CF | statement | open | Wikipedia Bourbaki–Witt theorem#QFC8, Wikipedia Hausdorff maximal principle#MENL |
| Lemma (Local \partial \bar \partial-lemma) | 17YF19NBXF | statement | open | Wikipedia Ddbar lemma#OP0H |
| Lemma (Schauder) | PRDB63PB8Z | statement | open | Wikipedia Open mapping theorem (functional analysis)#Q51B |
| Lemma (Symmetrization) | APWX3RAGAA | statement | open | Wikipedia Vapnik–Chervonenkis theory#YWOY |
| Lemma (X^{\#} is closed in \mathbb{K}^X) | QNS9CJCS5V | statement | open | Wikipedia Banach–Alaoglu theorem#AOTY |
| Lemma (Yoneda) | Z8EZEMCNX6 | statement | open | Wikipedia Yoneda lemma#GDHR |
| Lemma 1 | 59M6QNBE6A | statement | open | Wikipedia Derivation of the conjugate gradient method#06BJ |
| Lemma 1 | 5H9Y4WP4X5 | statement | open | Wikipedia Schur–Weyl duality#X382 |
| Lemma 1 | 5PCVSZ3G6S | statement | open | Wikipedia Fejér's theorem#FE0I |
| Lemma 1 | 7TMV8KJ507 | statement | open | Wikipedia Zorn's lemma#COYH |
| Lemma 1 | 858J4AASM1 | statement | open | Wikipedia Hammersley–Clifford theorem#TMPE |
| Lemma 1 | 8MDN9SNRPJ | statement | open | Wikipedia McNaughton's theorem#UXID |
| Lemma 1 | A6CGHYJAN3 | statement | open | Wikipedia Hilbert's theorem (differential geometry)#6743 |
| Lemma 1 | A6Q1TVXFMK | statement | open | Wikipedia Van der Waerden's theorem#DNH4 |
| Lemma 1 | AR8MTRR8DG | statement | open | Wikipedia Michael's theorem on paracompact spaces#MR6W |
| Lemma 1 | C94YM7JRVN | statement | open | Wikipedia Kaplansky's theorem on projective modules#LC08 |
| Lemma 1 | CBXHJ3ADK1 | statement | open | Wikipedia Hilbert projection theorem#RTCB |
| Lemma 1 | CXQ70EPV8F | statement | open | Wikipedia MMH-Badger MAC#WAW7 |
| Lemma 1 | CYR9Q0JMQS | statement | open | Wikipedia Proofs of Fermat's little theorem#FP81 |
| Lemma 1 | DJQ7ANTM1A | statement | open | Wikipedia Expander code#A9F2 |
| Lemma 1 | FAN5WBP4FN | statement | open | Wikipedia Jacobi's formula#TYXO |
| Lemma 1 | GC24GXDRHR | statement | open | Wikipedia Proof of Bertrand's postulate#W55I |
| Lemma 1 | H42PHBN6JV | statement | open | Wikipedia Randomized algorithm#RBGD |
| Lemma 1 | HJB241SM2Z | statement | open | Wikipedia NC (complexity)#5SLM |
| Lemma 1 | MVWN1JP28V | statement | open | Wikipedia Transcendental number#N3OI |
| Lemma 1 | NTGSDT05TK | statement | open | Wikipedia Hadamard code#1HA4 |
| Lemma 1 | PZGJ6PJN8N | statement | open | Wikipedia Nim#NY12 |
| Lemma 1 | RP9QS4PQBZ | statement | open | Wikipedia Sipser–Lautemann theorem#PCSY |
| Lemma 1 | WAKHYY88Q3 | statement | open | Wikipedia Container method#OGWS |
| Lemma 1 | Y6TZVWW44H | statement | open | Wikipedia Local criterion for flatness#UYDY |
| Lemma 1 | YQ7VGYFWPX | statement | open | Wikipedia Expander walk sampling#EI8Q |
| Lemma 1 | ZQR9W4T91K | statement | open | Wikipedia Burst error-correcting code#Y0VC |
| Lemma 1 (Decomposition Lemma) | F19JSRAGSV | statement | open | Wikipedia Green's theorem#2WGB |
| Lemma 1 (Riesz's lemma) | D16WZR45DZ | statement | open | Wikipedia Spectral theory of compact operators#7565 |
| Lemma 1.1 in for $n=2$ | NFZ3KJZ00C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25801#R4F4 |
| Lemma 10.2, , Proposition 1.23 | BGSRYF48BX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39675#0HMC |
| Lemma 11 in ; Lemma S6 | 6GPNHN3KEN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.23212#NW7S |
| Lemma 15.7. | G01QYA0Q5Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06340#HHUY |
| Lemma 2 | 1CK6Z3TV3D | statement | open | Wikipedia Jacobi's formula#VS0D |
| Lemma 2 | 2503F80SYR | statement | open | Wikipedia Proofs of Fermat's little theorem#CXX3 |
| Lemma 2 | 3CW3HYFRNG | statement | open | Wikipedia Spectral theory of compact operators#XT4R |
| Lemma 2 | 3JX6Q4GZTZ | statement | open | Wikipedia Proof of Bertrand's postulate#518W |
| Lemma 2 | 4RQGV7GDP8 | statement | open | Wikipedia Michael's theorem on paracompact spaces#QA36 |
| Lemma 2 | 54KKXFC44A | statement | open | Wikipedia McNaughton's theorem#1DY5 |
| Lemma 2 | 8E5FWRZPTE | statement | open | Wikipedia Expander code#DIUK |
| Lemma 2 | AR657SS64V | statement | open | Wikipedia Transcendental number#MP2D |
| Lemma 2 | BVJX4RA55A | statement | open | Wikipedia Zorn's lemma#KKXT |
| Lemma 2 | CGYWFJ9NPV | statement | open | Wikipedia Fejér's theorem#OZEL |
| Lemma 2 | E55ZEVX0DA | statement | open | Wikipedia Container method#DNC2 |
| Lemma 2 | EWFS2FMK7M | statement | open | Wikipedia Nim#9AE9 |
| Lemma 2 | F3N3K69AAM | statement | open | Wikipedia Hilbert's theorem (differential geometry)#QGMA |