Inventory: L
The rows of the inventory whose names start with L. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 401–500 of 1911.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Lebesgue integration | WHXGRK10Z6 | unknown | open | Wikidata Q853831, EoM Lebesgue_integral, MathWorld LebesgueIntegral, nLab Lebesgue integration |
| Lebesgue measure | 3D72DCBVZ7 | unknown | open | mathlib_undergrad Measures and integral calculus > Measure theory > Lebesgue measure, Mathlib MeasureTheory.MeasureSpace |
| Lebesgue measure | 964K9T7X2J | unknown | open | mathlib_overview Analysis > Measures and integral calculus > Lebesgue measure, Mathlib Real.measureSpace |
| Lebesgue measure | KBJRQ38Z80 | concept | open | Wikidata Q827230, EoM Lebesgue_measure, MathWorld LebesgueMeasure, nLab Lebesgue measure, ProofWiki Definition:Lebesgue_Measure |
| Lebesgue Measure and Integration | P2S3KHK9EQ | statement | open | mathlib_100 86, Mathlib MeasureTheory.lintegral, mathlib_overview Analysis > Measures and integral calculus > integral of positive measurable functions, mathlib_undergrad Measures and integral calculus > Integration > integral of positive measurable functions |
| Lebesgue number | YWQ2T99B0V | concept | open | hott_book index/B.5/lebesgue-number |
| Lebesgue point | TFWYE91SCD | concept | open | Wikidata Q388660, EoM Lebesgue_point |
| Lebesgue's decomposition theorem | QRF8BS1CCY | statement | open | mathlib_1000 Q191693, Mathlib MeasureTheory.Measure.haveLebesgueDecomposition_of_sigmaFinite, Wikidata Q191693, thousand_plus Q191693, Wikipedia Lebesgue's decomposition theorem, MathWorld LebesgueDecomposition |
| Lebesgue's density theorem | W3RWJNJHTJ | statement | open | mathlib_1000 Q842953, Mathlib Besicovitch.ae_tendsto_measure_inter_div, Wikidata Q842953, thousand_plus Q842953, Wikipedia Lebesgue's density theorem |
| Lebesgue--Vitali theorem | 85STP67PBH | concept | open | lebl_ra index/5.4.2/lebesgue-vitali-theorem |
| Lebesgue-measurable set | TEV8KWVYDC | unknown | open | Wikidata Q91308427, MathWorld LebesgueMeasurableSet |
| Lebesgue-Type Bounds on the Two Constants | TCZ6A053V2 | 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.13222#ID3Q |
| Lebesgue–Stieltjes integration | YWE3D49R9E | unknown | open | Wikidata Q3799278, EoM Lebesgue-Stieltjes_integral |
| lecture notes | HR4T3QNY2S | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q58900620, ProofWiki Book:Lecture_Notes |
| Lectures on the Philosophy of Religion | ESQHRKQ8ZH | unknown | out_of_scope (a book or a journal, not an item of mathematics) | Wikidata Q6512443, nLab Lectures on the Philosophy of Religion |
| Lecuire | 48TPXQRKN4 | 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.29450#9JGU |
| Lecuire | 4TXP8CYPZZ | 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.29450#GJRD |
| Lecuire | JJX23J6G6C | 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 2609.29450#9HF7 |
| Ledet's conjecture as a lifting statement | 3G69KRNCB9 | 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.09298#86V8 |
| Lee | 2K398NC5V1 | 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 2501.17850#VATN |
| Lee | K5YPA7ZKVX | 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 2501.17850#QRRN |
| Lee | SDK1PDP2XM | 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 2501.17850#UDYH |
| Lee | TT1CWZ22G4 | 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 2501.17850#INP6 |
| Lee | YHP0C3KFS1 | 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.12565#0XM6 |
| Lee error spread | YJCKQ4Y8DM | 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.04834#UT2T |
| Lee Hwa Chung theorem | H93B0ND3VT | statement | open | mathlib_1000 Q6513990, Wikidata Q6513990, thousand_plus Q6513990, Wikipedia Lee Hwa Chung theorem |
| Lee Neuwirth | YBTNT0HNVA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15455271, nLab Lee Neuwirth |
| Lee vs.\ Hamming weight | KTY1XV57YX | 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.04834#U03J |
| Lee--Yang polydisc | EFKH43ENNP | 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.12456#2FRN |
| Lee--Yang theorem for the quantum Ising model | F52D26Y41Z | 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.12908#W6LN |
| Leech lattice | SYNQVBEAE9 | concept | open | Wikidata Q2510203, MathWorld LeechLattice, nLab Leech lattice |
| Lee–Yang theorem | 1NYSXWDS41 | statement | open | mathlib_1000 Q6516611, Wikidata Q6516611, thousand_plus Q6516611, Wikipedia Lee–Yang theorem |
| Lefmann | KQP9JXCMJS | 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 1806.05002#N163 |
| Lefmann | QJP2DZVNQW | 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 1806.05002#V489 |
| Lefmann + Hardy--Littlewood circle method | FPY7DEGSAJ | 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 1806.05002#KF6J |
| Lefschetz $(1,1)$-theorem | 4ED5Y56VKV | 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.13939#60KY |
| Lefschetz decomposition for $X$ | WMYTF48XYG | 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.01731#AJF3 |
| Lefschetz fixed-point theorem | AXBJ44NKY0 | statement | open | mathlib_1000 Q657469, Wikidata Q657469, mathlib_1000 Q657469X, thousand_plus Q657469, Wikipedia Lefschetz fixed-point theorem, thousand_plus Q657469X, Wikipedia Lefschetz–Hopf theorem |
| Lefschetz hyperplane theorem | Z1Q15DN2XH | statement | open | mathlib_1000 Q6516731, Wikidata Q6516731, thousand_plus Q6516731, Wikipedia Lefschetz hyperplane theorem, nLab hyperplane section theorem |
| Lefschetz properties | 7Y3FX8R7DA | 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.38212#TAV6 |
| Lefschetz theorem on (1,1)-classes | 4H88G6SXB2 | statement | open | mathlib_1000 Q6516736, Wikidata Q6516736, thousand_plus Q6516736, Wikipedia Lefschetz theorem on (1,1)-classes, nLab Lefschetz theorem on (1,1)-classes |
| left adjoint | 9P2NSGM9FC | unknown | open | Wikidata Q119692675, nLab left adjoint |
| Left and right | 73GVV27F1V | concept | open | Wikidata Q17098435, MathWorld RightIdeal |
| Left centre action | QH09E803XN | 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.10745#6PV5 |
| Left convolution | H0XMRB8J9Y | 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.13892#9SJA |
| Left convolution of Driscoll \& Healy | AN89W1H6RA | 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.13892#3ZSQ |
| Left Distributive Law | ADNWVBKA05 | statement | open | applied_combinatorics source/s_background_mult.ptx#theorem-1 |
| left half-open interval | K727TAVBEA | definition | open | Wikidata Q106653384, ProofWiki Definition:Real_Interval/Half-Open/Left |
| left limit | QG5MZ2PF5W | concept | open | active_calculus index/1.7.2/left-limit |
| left module | SZ870NJKFC | definition | open | Wikidata Q120721996, ProofWiki Definition:Left_Module |
| Left multiplication is a bijection | Z7XWEDC8R9 | statement | open | napkin tex/H113/grp-intro.tex#lem:group_mult_biject |
| Left tail | ZXNTH754J2 | 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.31345#IQZ3 |
| left-handed coordinate system | 7HDVCZ01S1 | unknown | open | Wikidata Q109941816, MathWorld Left-HandedCoordinateSystem |
| Left-limit sampling scale | FV8RQZDAVP | 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.09570#VDOL |
| Left-symmetric algebras | BKYZ75QV1W | 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.12489#R3OQ |
| Left-Symmetric Structures on $\mathfrak{osp}(1|2)$ | Q71WGN8S0D | 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.12489#ZQ2B |
| Left-symmetric superalgebras | N6Y0G4X39X | 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.12489#KEWI |
| Leftover Hash Lemma | B84MRD9CZB | 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.12413#26G8 |
| Leftover parts | 1TX0VNTSYJ | 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 2607.01109#9CIJ |
| Legal partial assignments | T6VS6HA8PF | 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.02407#AJSP |
| Legality | GQK3E85H6K | 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 math/0003117#MTPJ |
| Legality | N82KYS2A2E | 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 math/0003117#UVEH |
| Legendre chi function | KBGJNFCWK6 | concept | open | Wikidata Q1452853, MathWorld LegendresChi-Function |
| Legendre differential equation | MZWKYS739K | concept | open | Wikidata Q3730891, MathWorld LegendreDifferentialEquation |
| Legendre duality in the magnetization | 100VTJGBRZ | 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.18350#E77W |
| Legendre function | 45GNA3B832 | 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 2609.38741#06ET |
| Legendre polynomial | A1QWAA8173 | concept | open | Wikidata Q215405, MathWorld LegendrePolynomial, nLab Legendre polynomial |
| Legendre symbol | Z9EPYCE8YW | unknown | node (a node has the same name as the row) | Wikidata Q748339, MathWorld LegendreSymbol |
| Legendre symbol (-1,p) where p is the n-th prime. | 4PSYMFQ2SN | object | open | Wikidata Q100194411, OEIS A077008 |
| Legendre symbol subsumed by Artin symbol | W5D9A8ZXPT | example | open | napkin tex/alg-NT/artin.tex#example-7 |
| Legendre transform | 8HXN89XZFY | 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.17519#IA4I |
| Legendre transformation | E1FAAMRFXR | concept | open | Wikidata Q908652, MathWorld LegendreTransformation, nLab Legendre transformation |
| Legendre's conjecture | R8APF1P9CG | conjecture | open | Wikidata Q1812503, MathWorld LegendresConjecture, ProofWiki Legendre's_Conjecture |
| Legendre's constant | W0MG29QADE | object | open | Wikidata Q73026, MathWorld LegendresConstant |
| Legendre's formula | CCE1Q3QVQM | 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.25742#VSVT |
| Legendre--Fenchel conjugate | BMF137WBH3 | 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.01855#5EP9 |
| Legendre--Hahn series estimator | 59C2D2YBWP | 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.04135#ND0D |
| Legendre--Hahn series estimator under trial heterogeneity | HMTDQKJKST | 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.04135#71OR |
| Lehmann–Scheffé theorem | 3M0Z3N4STP | statement | open | mathlib_1000 Q1129636, Wikidata Q1129636, thousand_plus Q1129636, Wikipedia Lehmann–Scheffé theorem |
| Lehmer mean | AH4N733TQY | concept | open | Wikidata Q1813177, MathWorld LehmerMean |
| Lehmer number | X20WBQ1Y4J | concept | open | Wikidata Q6518932, MathWorld LehmerNumber |
| Lehmer pair | YVFG43VD19 | concept | open | Wikidata Q49000792, MathWorld LehmersPhenomenon |
| Lehmer's conjecture | MKVQWM23VB | conjecture | open | Wikidata Q6518929, MathWorld LehmersMahlerMeasureProblem |
| Lehmer's totient problem | E822EVG6DY | problem | open | Wikidata Q3406228, MathWorld LehmersTotientProblem |
| Leibniz algebra | XYK1PHJ694 | unknown | open | Wikidata Q844980, nLab Leibniz algebra |
| Leibniz defect | A3Z3BMXS8S | 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.20593#AMM7 |
| Leibniz formula | HG2XYKTDEY | unknown | open | mathlib_undergrad Single Variable Real Analysis > Differentiability > Leibniz formula, Mathlib deriv_mul |
| Leibniz formula | HPEGKSGDXJ | unknown | open | mathlib_overview Analysis > Differentiability > Leibniz formula, Mathlib fderiv_mul |
| Leibniz formula for π | 515YRCMJ2H | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q97226587, MathWorld GregorySeries |
| Leibniz harmonic triangle | E1HF4JVVCD | unknown | open | Wikidata Q649470, MathWorld LeibnizHarmonicTriangle |
| Leibniz integral rule | EFMSVJ40KV | statement | node (a node has the same Wikidata item as the row) | Wikidata Q2996637, MathWorld LeibnizIntegralRule |
| Leibniz's Test or Alternating Series Test | X50V1Y2B5C | 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 1704.08191#K4MC |
| Leibniz’s Series for Pi | 7K9XXA0X9W | statement | open | mathlib_100 26, Mathlib Real.tendsto_sum_pi_div_four |
| Leila Schneps | J31QZD3JQC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15915722, nLab Leila Schneps |
| Lem.\,5.4 | 3NPV7YCPWA | 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.07855#2TU2 |
| lemma | 68CR4ED218 | concept | open | Wikidata Q207505, MathWorld Lemma, ProofWiki Definition:Lemma |
| 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 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 |