Math 2.0

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.

Rows 1901–1911 of 1911.

NameIdKindOutcomeSources
Lévy's constant49APQ3RGVVobjectopenWikidata Q2994920, MathWorld LevyConstant, OEIS A086702
Lévy's modulus of continuity theoremWC7E9H9MB0statementopenmathlib_1000 Q6711207, Wikidata Q6711207, thousand_plus Q6711207, Wikipedia Lévy's modulus of continuity theorem
Lévy's theoremMB8Q6GEPGPunknownopenmathlib_undergrad Probability Theory > Convergence of a sequence of random variables > Lévy's theorem
López-Hernanz, Raissy, Ribón, SanzSPN5DCZFXRstatementrecord (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#HO59
López-Hernanz, RosasZDH3BYC9C1statementrecord (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#RRDR
Löb's theorem8BVAJGREM7statementopenmathlib_1000 Q204884, Wikidata Q204884, thousand_plus Q204884, Wikipedia Löb's theorem, nLab Löb's theorem
Löwenheim–Skolem theorem6ZHMZD4224statementopenmathlib_1000 Q1068283, Mathlib FirstOrder.Language.exists_elementaryEmbedding_card_eq, Wikidata Q1068283, mathlib_overview Logic and computation > Model theory > Löwenheim-Skolem, thousand_plus Q1068283, Wikipedia Löwenheim–Skolem theorem, MathWorld Loewenheim-SkolemTheorem
Lüroth's theorem601R6GCWSQstatementopenWikidata Q3527115, MathWorld LuerothsTheorem
L’Hopital’s Rule8Y8HFYBFCRstatementopenmathlib_100 64, Mathlib deriv.lhopital_zero_nhds
L∞ spaceV0ZQDNBRDWunknownopenWikidata Q25109715, MathWorld L-Infinity-Space
L∞-algebra11YPXSC5ZTunknownopenWikidata Q42614797, nLab L-infinity-algebra