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 301–400 of 1911.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Lawvere | 5PTXWBXVXS | concept | open | hott_book index/u1.u5/lawvere |
| Lawvere | G8TQNZ1KAR | concept | open | hott_book index/6.7/lawvere |
| Lawvere | H91PEYHSG5 | concept | open | hott_book index/C/lawvere |
| Lawvere | JT37XC63V7 | concept | open | hott_book index/A.12.3/lawvere |
| Lawvere | N5M9YHJ76R | concept | open | hott_book index/B.6/lawvere |
| Lawvere | RBPTTD7A7N | concept | open | hott_book index/8.8/lawvere |
| Lawvere | XCRYEDMXMJ | concept | open | hott_book index/C.5/lawvere |
| Lawvere | XQ1234W3Z5 | concept | open | hott_book index/u1.u7/lawvere |
| Lawvere theory | P7QH3HT6C2 | unknown | open | Wikidata Q6505076, nLab Lawvere theory |
| Lawvere's fixed-point theorem | MV2CAC97YP | unknown | open | Wikidata Q15809744, nLab Lawvere's fixed point theorem |
| Lawvere–Tierney topology | SM9CRWSB3A | unknown | open | Wikidata Q30704544, nLab Lawvere-Tierney topology |
| Lax 2-functor | Z55E88MSJ5 | 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.10930#TM66 |
| lax colimit | JHTRQ7S3SY | concept | open | hott_book index/5.12/lax-colimit |
| Lax comparison for scales | CEYRPMR2AX | 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.10930#TRV7 |
| Lax comparison for smallness | TRVFV6DZGP | 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.10930#WR6Z |
| lax functor | 4CYMKY6TVS | concept | open | Wikidata Q18345526, nLab lax functor |
| Lax matrix | S710PTEV06 | 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 2503.08018#SCZK |
| lax natural transformation | K943ZS2NXS | concept | open | Wikidata Q25304046, nLab lax natural transformation |
| lax symmetric monoidal endofunctor | ATAG18QZWX | 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 2405.14678#PCKW |
| Lax–Richtmyer theorem | XY4T9EFBQD | statement | open | mathlib_1000 Q256303, Wikidata Q256303, thousand_plus Q256303, Wikipedia Lax–Richtmyer theorem |
| Lax--Milgram theorem | N2W18NBKDH | statement | open | arXiv 2609.32561#HNZO, mathlib_1000 Q9993851, Mathlib IsCoercive.continuousLinearEquivOfBilin, Wikidata Q9993851, mathlib_overview Analysis > Hilbert spaces > Lax-Milgram theorem, mathlib_undergrad Topology > Hilbert spaces > Lax-Milgram theorem, thousand_plus Q9993851, Wikipedia Lax–Milgram theorem |
| Lax–Wendroff theorem | Z7VMSQAHSD | statement | open | mathlib_1000 Q3527110, Wikidata Q3527110, thousand_plus Q3527110, Wikipedia Lax–Wendroff theorem |
| Layer structure | 329ZH083R0 | 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 2506.21337#WJ2C |
| Layerwise decomposition of the tangent Gram matrix | 100S33QZ0E | 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.04357#0B1X |
| Lazarev | 9DE7YG2AJY | 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.10078#QD5C |
| Lazarus Fuchs | VVRK1V3Z08 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q61758, nLab Lazarus Fuchs |
| lazy caterer's sequence | 7J0NR9XDWG | object | open | Wikidata Q2259070, MathWorld CircleDivisionbyLines, OEIS A000124 |
| lazy list | 77XDKWW0H4 | unknown | open | mathlib_overview Data structures > List-like structures > lazy list, Mathlib MLList |
| Lazyness parameter | DV3QYHBNFQ | 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 2310.11101#NM56 |
| LCD factor | BMRH8PRQF8 | 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.08664#LMBA |
| LCF notation | NZHPWGJDTD | concept | open | Wikidata Q1797915, MathWorld LCFNotation |
| LCI distance of configurations | VF29NJ1FV8 | 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 2208.13855#KSC5 |
| LDP Agnostic Proper Learning of GMMs | 507GTGP48J | 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.21033#OV96 |
| LDP amplification via $\varepsilon$-PML post-processing | 9DVAXJ0ZR3 | 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.28297#Z2HH |
| LDP at logarithmic speed | NQ5V5WC8WT | 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.10840#H0SH |
| LDP at logarithmic speed for quantum depletion | N42YYJMTKP | 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.10840#9ANU |
| LDP for $\lambda_{\max}$ | NZ7Z472R3R | 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.25301#479K |
| LDP for covariant tomography | 75516S32JG | 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.40271#OSGT |
| LDP for seed-induced tomography | MXJN0MWJNP | 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.40271#21NT |
| LDP for the empirical measure of clusters | S711DFKSEY | 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.39699#DPOQ |
| LDP synthetic dataset | 9MCH709X3E | 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.21033#MJ46 |
| Le Cam's theorem | 2RAYX2WHVM | statement | open | mathlib_1000 Q3154003, Wikidata Q3154003, thousand_plus Q3154003, Wikipedia Le Cam's theorem, MathWorld LeCamsInequality |
| Le\,Cam lower bound | R43QN6JNF5 | 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.00295#7H1C |
| lead | 55HKHF0HEW | definition | open | Wikidata Q708, ProofWiki Definition:Lead_(Chemical_Element) |
| lead-208 | 57VZBVEDAB | definition | open | Wikidata Q16670466, ProofWiki Definition:Lead_(Chemical_Element)/208 |
| Leading asymptotics | 6WZ15H52AX | 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.10821#E4G9 |
| Leading budget comparison | K2RPRZJSSF | 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.13789#UBS5 |
| leading coefficient | 2MDJYMSYR9 | definition | node (a node has the same name as the row) | Wikidata Q130416821, ProofWiki Definition:Leading_Coefficient_of_Polynomial |
| Leading complexity at the small-gap scale | RNT24VNP1X | 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.03633#7IPE |
| Leading homogeneous polynomial | 7Y9HBEZYAW | 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.26152#PF7A |
| Leading phase displacement | QFJYW4F3KT | 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.15686#U81U |
| Leading pressure and gradient bounds | CJVA0N7VME | 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.06544#4JW5 |
| Leading-block combination theorem | BNG1A91CTK | 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.17608#VI3F |
| Leading-block system of rank $d$ | PQGN0FNGE0 | 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.17608#X2MO |
| Leading-coefficient quotient reduction | VKB9M114NW | 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.26110#7F9X |
| Leading-order approximation | 5YHJFNBKYA | 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.10393#5HCY |
| Leading-side PCA excess bound | K7B2MFFWAM | 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.05388#711X |
| leaf | 7ZJ9ZSAKVF | concept | open | applied_combinatorics index/5.1/leaf |
| leaf vertex | EME7WCXM2N | unknown | open | Wikidata Q93721778, MathWorld PendantVertex |
| Leaf-count concentration and sensitivity | WB9JB8V8A7 | 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.40077#ICYF |
| Leaf-count error identity | 7F92WRXRAQ | 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.40077#GJTD |
| Leakage and Restricted Marcinkiewicz--Zygmund Constants | 988A0Q099T | 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.13222#QA7R |
| Leakage estimate | 2CD36R91GV | 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.34402#O9HO |
| Leakage Exponent at the End of the Spectrum | MJ3Y8RW8ND | 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#IVVF |
| Lean | TPESPCMYJV | unknown | open | Wikidata Q6509476, nLab Lean |
| leap year | H6C8138P1A | definition | open | Wikidata Q19828, ProofWiki Definition:Leap_Year |
| Learning a Galois automorphism | H5A6RWJTDR | 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.18154#UP2C |
| Learning a geometrically local Hamiltonian | CHATFKKF10 | 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.27181#21CT |
| Learning a geometrically local Hamiltonian with parallel defects | Y0ZJ7EV7MF | 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.27181#0QDV |
| Learning a linear or orthogonal map | X3M6F2JKMJ | 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.18154#481X |
| Learning exponentially decaying fermionic Lindbladians | XEBTKC161A | 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.00448#8Z0K |
| Learning the bank | RJC2GDXF43 | 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.12211#WGN0 |
| Learning the exogenous rate with unknown branching ratio | DCQCEAB24S | 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.38268#JCLX |
| Learning with geometric updates | NK4DNA65J2 | 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.40077#41WV |
| Least $p$-divisible values | RNP204XVM8 | 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.15262#6I62 |
| Least admissible common base | B546FV3YW1 | 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.28649#QYQZ |
| least common multiple | 8H8TYKF9QF | unknown | open | mathlib_overview General algebra > Divisibility in integral domains > least common multiple, Mathlib GCDMonoid.lcm, mathlib_undergrad Ring Theory > Divisibility in integral domains > least common multiple |
| least common multiple | PJX33Z81M4 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q102761, EoM Least_common_multiple, MathWorld LeastCommonMultiple, nLab least common multiple |
| Least common multiple (LCM) of denominators of the rows of the triangle of rationals A119935 / A119932 . | KV1J9EC2JB | object | open | Wikidata Q100193524, OEIS A119936 |
| Least common multiple (LCM) of the first n+1 terms of A000792 . | SZ0WRVB9DD | object | open | Wikidata Q100194536, OEIS A062723 |
| Least common multiple (or LCM) of {1, 2, ..., n} for n >= 1, a(0) = 1. | FSR4B677NR | object | open | Wikidata Q100193223, OEIS A003418 |
| Least extremal row for $p^a+1$ | 2D1268Q1CF | 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.01328#5WZ2 |
| Least full tail | ZBEZXT3QVJ | 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.15262#0J9T |
| Least nonnegative solution and a matrix Pincherle principle | 7QNZQ4WWFB | 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.26066#2IT4 |
| Least squares | 9CHV40YYG0 | example | 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.20798#MUDH |
| least squares method | 2GTPPA80HQ | topic | open | Wikidata Q74304 |
| Least--term lemma | GSEE0RY6HY | 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.29605#18H7 |
| Least-noise moment | MAJ562R2HZ | 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.35986#GZSJ |
| Leau , Fatou | 8N659S131R | 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.01520#FOJL |
| Leave-one-out inequality | WQVCWDJJ2C | 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.00501#RP7T |
| Leave-one-out quantities | P6ZKZYH55C | 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.00501#IH2D |
| Leaving the compact set | HT1KC0861Y | 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.12713#BEVA |
| Lebanon | TZH36SF34R | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q822, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Lebanon |
| Lebesgue Constant | 2EKJTG665M | 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.13222#R8P2 |
| Lebesgue constants | 2A6RV190NS | unknown | open | Wikidata Q23058462, MathWorld LebesgueConstants |
| Lebesgue constants (Fourier series) | 5RQYC53ST0 | unknown | open | Wikidata Q123459622, EoM Lebesgue_constants |
| Lebesgue covering dimension | Y86P8TS991 | statement | open | mathlib_1000 Q164262, Wikidata Q164262, thousand_plus Q164262, Wikipedia Lebesgue covering dimension, MathWorld LebesgueCoveringDimension |
| Lebesgue covering lemma | 1MPJTSMWYV | concept | open | lebl_ra index/4.4.2/lebesgue-covering-lemma |
| Lebesgue covering lemma \footnote{Named after the French mathematician \href{https://en.wikipedia.org/wiki/Henri_Lebesgue}{Henri L\'eon Lebesgue} (1875--1941). The number $\delta$ is sometimes called the \myindex{Lebesgue number} of the cover.} | ATMFKZ961T | statement | open | lebl_ra ch-metric.tex#ms:lebesgue |
| Lebesgue differentiation theorem | B37G7GBZ5C | statement | open | mathlib_1000 Q2275191, Mathlib VitaliFamily.ae_tendsto_lintegral_div, Wikidata Q2275191, thousand_plus Q2275191, Wikipedia Lebesgue differentiation theorem |