| Lemma 2 | HNA2RQX7DE | statement | open | Wikipedia Kaplansky's theorem on projective modules#ZEAH |
| Lemma 2 | JSY5KK0VZC | statement | open | Wikipedia Sipser–Lautemann theorem#CQE1 |
| Lemma 2 | K2WJH254A5 | statement | open | Wikipedia Local criterion for flatness#7JB6 |
| Lemma 2 | NEP4VM8A1F | statement | open | Wikipedia NC (complexity)#4Y31 |
| Lemma 2 | PDTDRV47XE | statement | open | Wikipedia Expander walk sampling#GMQE |
| Lemma 2 | QREP6TZAWZ | statement | open | Wikipedia Randomized algorithm#L7IJ |
| Lemma 2 | QVQGNQNSM8 | statement | open | Wikipedia Schur–Weyl duality#QA9A |
| Lemma 2 | SV07W3H9MT | statement | open | Wikipedia Van der Waerden's theorem#LFDH |
| Lemma 2 | V6GSRVJ8VS | statement | open | Wikipedia Burst error-correcting code#E868 |
| Lemma 2 | VV18YTVDWG | statement | open | Wikipedia Green's theorem#DPDV |
| Lemma 2 | WHEBER1NBE | statement | open | Wikipedia Derivation of the conjugate gradient method#UIWL |
| Lemma 2 | Z3WMVJM978 | statement | open | Wikipedia Hilbert projection theorem#GIQ2 |
| Lemma 2-2 | V5MWES2Q2B | statement | open | Wikipedia Stokes' theorem#50L5 |
| Lemma 2.2, Lemma 2.3 | RCAXT5RJES | 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.13385#0XTH |
| Lemma 2.7, Corollary 3.2 | CZD87YPKPE | 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.13385#7ZJ3 |
| Lemma 3 | 5PE3CSYBPV | statement | open | Wikipedia Derivation of the conjugate gradient method#TK6X |
| Lemma 3 | 8HPXDKMGFH | statement | open | Wikipedia Hilbert's theorem (differential geometry)#3IGB |
| Lemma 3 | D9XGM9B6VD | statement | open | Wikipedia Proof of Bertrand's postulate#01FQ |
| Lemma 3 | JXQWKZDK7J | statement | open | Wikipedia Green's theorem#CQC9 |
| Lemma 3 | KYEXP20A41 | statement | open | Wikipedia Fejér's theorem#235D |
| Lemma 3 | QRJTRFMVWX | statement | open | Wikipedia Expander code#I60M |
| Lemma 3 | W2GCXHGET8 | statement | open | Wikipedia Expander walk sampling#S1V6 |
| Lemma 3 | ZG1ZZTGY1P | statement | open | Wikipedia McNaughton's theorem#VQVP |
| Lemma 34.7 (1), (3 | Q6MRNF7HBV | 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.16241#693L |
| Lemma 4 | 43YN27ZMPR | statement | open | Wikipedia McNaughton's theorem#XEQY |
| Lemma 4 | MCQTRPW8T5 | statement | open | Wikipedia Expander code#DHME |
| Lemma 4 | N29Z0A6MB2 | statement | open | Wikipedia Proof of Bertrand's postulate#DT3W |
| Lemma 4 | NBT7R8SNZE | statement | open | Wikipedia Gibbard–Satterthwaite theorem#MZUL |
| Lemma 4 | R7AFFVY708 | statement | open | Wikipedia Hilbert's theorem (differential geometry)#R6CZ |
| Lemma 5 | 19ZSFXRW3F | statement | open | Wikipedia Hilbert's theorem (differential geometry)#1NE9 |
| Lemma 5 | 8RS970JCC5 | statement | open | Wikipedia Gibbard–Satterthwaite theorem#D9RC |
| Lemma 6 | BZHCFQD6MY | statement | open | Wikipedia Gibbard–Satterthwaite theorem#FNKO |
| Lemma 6 | TFRF5CM794 | statement | open | Wikipedia Hilbert's theorem (differential geometry)#Q4HJ |
| Lemma 6 of restated | PZAD74PJ2Y | 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.02355#IP44 |
| Lemma 7 | D1CYNN02QY | statement | open | Wikipedia Hilbert's theorem (differential geometry)#U026 |
| Lemma 8 | Q1XBDS9VAP | statement | open | Wikipedia Hilbert's theorem (differential geometry)#X2XA |
| Lemma \(4.4.2^a\ | 3RAHGR8SYY | 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.02481#421M |
| Lemma A. | V3EJ5MEWVB | statement | open | Wikipedia Lindemann–Weierstrass theorem#77BH |
| lemma A.1(ii | R35K8VYE5F | 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.07290#2IZZ |
| Lemma A.4\emph{(i | KC940TFW3X | 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 2105.08875#3TX6 |
| Lemma B. | R5BEGRBZJK | statement | open | Wikipedia Lindemann–Weierstrass theorem#MZ0L |
| Lemma on the Logarithmic derivative | Q1CEC5T20P | topic | open | Wikipedia List of lemmas#YIIF |
| Lemma statement | 1SB63D7PVV | statement | open | Wikipedia Céa's lemma#ZH9S |
| Lemmas | HDQW5ZNQ98 | statement | open | Wikipedia Container method#M0BG |
| Lemmas | QYNRVHPY3Q | statement | open | Wikipedia Michael's theorem on paracompact spaces#3G2P |
| Lemmas | ZTFY6W2DQ3 | statement | open | Wikipedia Surjection of Fréchet spaces#4CBT |
| Lemmas $3.7$ and $3.8$ | ZMYE61W7ES | 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.25656#RGAA |
| Lemmas $8$--$9$ | 83WXPBC8X4 | 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.25656#OJUS |
| Lemmas 3.4--3.6 | FB6WMHT03T | 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.12810#A0WH |
| Lemmings | 74MSKQ77V2 | unknown | open | Wikipedia List of PSPACE-complete problems#X9OJ |
| Lemmings | ZFN8JXED2G | unknown | open | Wikipedia List of NP-complete problems#ARS2 |
| lemniscate | 2HFAFRQ40T | definition | open | Wikipedia Glossary of classical algebraic geometry#4QPO |
| Lemniscate | 3T69QS9T0Q | definition | open | Wikipedia Lemniscate, Wikidata Q10545374 |
| Lemniscate | 9EW0QA33Y8 | definition | open | Wikipedia List of curves#1FHV |
| Lemniscate | HBHJ0M391R | definition | open | Wikipedia List of two-dimensional geometric shapes#4AXI |
| Lemniscate of Bernoulli | D6R7WSNEKP | definition | open | Wikipedia List of mathematical shapes#GSKM |
| lemniscate of Bernoulli | NY4KSXXPT6 | concept | open | Wikidata Q736896, MathWorld Lemniscate, Wikipedia Lemniscate of Bernoulli |
| Lemniscate of Booth | TFK7JHYNVF | definition | open | Wikipedia List of mathematical shapes#X1LN |
| Lemniscate of Gerono | CH359PQ61D | definition | open | Wikipedia List of mathematical shapes#M60Q |
| lemniscate of Gerono | WXP7BMNT23 | definition | open | Wikidata Q2346810, MathWorld EightCurve, Wikipedia Lemniscate of Gerono |
| lemniscatic elliptic function | Z7YM77MWSW | definition | open | Wikidata Q6521248, MathWorld LemniscateFunction, Wikipedia Lemniscate elliptic functions |
| Lemoine circle | XMZ6W84QZD | concept | open | Wikidata Q2946481, MathWorld FirstLemoineCircle |
| Lemoine cubic | F49AMJTETF | unknown | open | Wikidata Q129175817, MathWorld LemoineCubic |
| Lemoine hexagon | KSS47BD8AT | definition | open | Wikidata Q6521264, MathWorld LemoineHexagon, Wikipedia Lemoine hexagon |
| Lemoine line | MCWTY1P227 | unknown | open | Wikipedia Central line (geometry)#NRXC |
| Lemoine point | 750PZNNX2Q | concept | open | Wikidata Q940537, MathWorld SymmedianPoint, Wikipedia Lemoine point |
| Lemoine's conjecture | KGPBYB8EFD | conjecture | open | Wikidata Q1129629, MathWorld LevysConjecture, ProofWiki Lemoine's_Conjecture, Wikipedia Lemoine's conjecture |
| Lemoine's conjecture | TWS8KFQ708 | conjecture | open | Wikipedia List of unsolved problems in mathematics#5CG3 |
| Lemoine's conjecture and extensions | FW61TSGTM7 | statement | open | Wikipedia Émile Lemoine#IS9W |
| Lemoine's problem | 4QW8Y4DHDT | problem | open | Wikipedia List of triangle topics#HT80 |
| Lemoine's problem | S2R41E6AXN | problem | open | Wikipedia Lemoine's problem, Wikidata Q6521259 |
| Lemon | 3PNDD8534N | definition | open | Wikidata Q85776234, MathWorld LemonSurface, Wikipedia Lemon (geometry) |
| Lemon juice as invisible ink | TJNQR5FY6S | unknown | open | Wikipedia Invisible ink#5SGL |
| Lemon, Charles | AH2513M57H | unknown | open | Wikipedia List of statisticians#YPDY |
| Len Sassaman | JSDYWV10MB | topic | open | Wikipedia Len Sassaman, Wikidata Q523530 |
| Leng--Sah--Sawhney, \LSSTheoremCitation | HRVGPRNFY2 | 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.11965#32CC |
| Lenglart's inequality | AX3KF6VF44 | statement | open | Wikipedia Lenglart's inequality, Wikidata Q108821976 |
| Lenglart's inequality | RE1BPYNZ2V | statement | open | Wikipedia List of inequalities#N45I |
| length | 378S39TB5H | definition | open | Wikipedia Glossary of graph theory#U9F1 |
| length | 4RWV6T5VG0 | definition | open | Wikipedia Glossary of commutative algebra#8AX0 |
| Length | H0Q1RZE17J | definition | 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.14154#M983 |
| length | QKY7PVABHG | definition | open | Wikidata Q1761084, MathWorld ModuleLength, Wikipedia Length of a module |
| length | R4VHXG6HMJ | definition | open | Wikidata Q36253, MathWorld Length, ProofWiki Definition:Linear_Measure/Length, Wikipedia Length |
| length | T8PM2QCP5F | definition | open | Wikipedia Glossary of module theory#FSRU |
| length | XRHQ9D3NW0 | definition | open | Wikipedia Glossary of category theory#0SNZ |
| Length | Y776NG0235 | definition | open | Wikipedia List of integration and measure theory topics#AL03 |
| length | YWCVZJQDH4 | concept | open | applied_combinatorics index/12.3/length |
| Length (>1) of shortest sequences of consecutive primes started with prime(n) such that sum is also prime. | SRRBDG3J79 | object | open | Wikidata Q100194514, OEIS A071194 |
| Length bound away from the perfect forms | QQP2R81YZK | 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.37615#9AKR |
| Length bound for CDF-level intervals | WBJMDSAS3X | 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.12740#7OC1 |
| Length bound on a primitive cycle basis | ZSZQ1FCRP4 | 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.30561#98TH |
| length contraction | ZB9N3PW2WZ | definition | open | Wikidata Q836595, ProofWiki Definition:Lorentz-Fitzgerald_Contraction, Wikipedia Length contraction |
| Length extension attack | Q9E8PVSVWN | definition | open | Wikipedia Length extension attack, Wikidata Q6522491 |
| Length function | 117Q0AN32W | definition | open | Wikipedia Length function, Wikidata Q6522492 |
| Length growth | BQ8DQPRQ9Q | 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.05892#BZBG |
| Length inequality | KA6XJE762V | 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.03763#V8JZ |
| Length lower bound | NJJG2R9S31 | 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.09341#UFE8 |
| length of a curve | D2JFJJPFKP | concept | open | lebl_ra index/6.2.3/length-of-a-curve |
| Length of a Weyl group element | F1EMBAF80B | definition | open | Wikipedia Length of a Weyl group element, Wikidata Q16937449 |