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 601–700 of 1911.

NameIdKindOutcomeSources
Levi problem2T7J6RGA0Kconceptopenlebl_scv index/2.6/levi-problem
Levi problem, for complete Reinhardt domainsWWP67XJ99Dconceptopenlebl_scv index/2.6/levi-problem-for-complete-reinhardt-domains
Levi's theoremC689KCRWZAstatementopenmathlib_1000 Q6535568, Wikidata Q6535568, thousand_plus Q6535568, Wikipedia Levi's theorem
Levi-Civita connectionNVZ2FG166QunknownopenWikidata Q548675, MathWorld Levi-CivitaConnection, nLab Levi-Civita connection
Levi-Civita symbolQ9RT2FCPC4unknownopenWikidata Q623761, MathWorld PermutationSymbol, nLab Levi-Civita symbol
Leviathan number5RHKGVMGKCunknownopenWikidata Q10338608, MathWorld LeviathanNumber
Levitzky's theoremJWXRW022TRstatementopenmathlib_1000 Q6535741, Wikidata Q6535741, thousand_plus Q6535741, Wikipedia Levitzky's theorem
Levy53GDDE1V7Jstatementrecord (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.19283#EBQZ
LevyWYSTQ4CD9Jstatementrecord (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.19283#9YB7
Lewis EltonGS71KPJRMMunknownout_of_scope (a person, not an item of mathematics)Wikidata Q284098, ProofWiki Mathematician:Lewis_Richard_Benjamin_Elton
LewyP0KC2AWR3Vstatementopenlebl_scv scv.tex#thm-16
Lewy extension theorem2ERHTC0BRFconceptopenlebl_scv index/3.4/lewy-extension-theorem
Lexicographic comparison with arbitrary ramification382HZHHHDZconjecturerecord (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.07528#9FCY
Lexicographic monotonicity for reduced pullback1FS46NRGVZstatementrecord (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.07528#T74X
lexicographic product of graphsSMPTG82K74unknownopenWikidata Q6537715, MathWorld GraphLexicographicProduct
Lexicographic Prohibition Theorem8DYFPZDZEPstatementrecord (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.25091#BY71
lexicographical orderZ38QZVWYBGunknownnode (a node has the same Wikidata item as the row)Wikidata Q1144915, MathWorld LexicographicOrder, nLab lexicographic order
Lexicographically smaller, $<_L$T6DE5JFHBWdefinitionrecord (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 2401.13523#KAIO
Leyland numberBYR2D9ZAVPobjectopenWikidata Q2661866, OEIS A076980
LFA critic lower bound3HW5BHW47Sstatementrecord (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.04117#401P
LFA critic lower bound, detailed form5ZSYA9TNNMstatementrecord (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.04117#A2TF
LFA critic upper boundDC2ESBVTZTstatementrecord (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.04117#2MO1
LFA critic upper boundTPG40FRRHNstatementrecord (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.04117#AGZL
LFA sample complexityRMSJA01KASstatementrecord (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.04117#0OAL
LFA sample complexityZPFQJQ1BTRstatementrecord (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.04117#OLX5
LFSR local-band concentrationDDJF5N4JFEstatementrecord (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.16351#FWZG
LI from uniform LPPL61N7AZQ9FRstatementrecord (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.31858#LYF6
Li Yan8YT74B81P5unknownout_of_scope (a person, not an item of mathematics)Wikidata Q1232458, ProofWiki Mathematician:Li_Yan
Li YeJJYYPN549Cunknownout_of_scope (a person, not an item of mathematics)Wikidata Q716964, ProofWiki Mathematician:Li_Ye
Li's criterion2XTV1A6T8DunknownopenWikidata Q6538608, MathWorld LisCriterion
Li, Postle8WZ1V0V9B7statementrecord (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 2406.01499#15K9
liar paradoxCXQB1BW5G5unknownopenWikidata Q33387, nLab liar paradox
Liber Abaci63Q0A0DY0Punknownout_of_scope (a book, not an item of mathematics)Wikidata Q2044496, ProofWiki Book:Leonardo_Fibonacci/Liber_Abaci
Library Shortcut for $\Shat$5B7YCMBYB9statementrecord (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.27042#IDC2
Lichnerowicz formulaMV8VEXKQ0TconceptopenWikidata Q6543306, nLab Lichnerowicz formula
Lickorish–Wallace theoremG5FJ67F9ZHstatementopenmathlib_1000 Q17125544, Wikidata Q17125544, thousand_plus Q17125544, Wikipedia Lickorish–Wallace theorem
Lie algebraDB31ZMCW9Vunknownopenmathlib_overview General algebra > Algebras over a ring > Lie algebra, Mathlib LieAlgebra
Lie algebraXG7CVVB5RXconceptopenWikidata Q664495, EoM Lie_algebra, MathWorld LieAlgebra, nLab Lie algebra, ProofWiki Definition:Lie_Algebra
Lie algebra cohomology35AVSM6Y93unknownopenWikidata Q6543809, nLab Lie algebra cohomology
Lie algebra extensionS56PCMXY5QunknownopenWikidata Q25303823, EoM Extension_of_a_Lie_algebra, nLab Lie algebra extension
Lie algebra idealN2602R5P7XunknownopenWikidata Q25488798, nLab Lie ideal
Lie algebra of a Lie group1AYF7SX5ADunknownopenmathlib_overview Geometry > Differentiable manifolds > Lie algebra of a Lie group, Mathlib GroupLieAlgebra
Lie algebra representationN4PXXYYPJPunknownopenWikidata Q1136782, nLab Lie algebra representation
Lie algebroidSPRS9E685FunknownopenWikidata Q6543810, EoM Lie_algebroid, MathWorld LieAlgebroid, nLab Lie algebroid
Lie bialgebra4FJAAZHJ1GunknownopenWikidata Q6543812, nLab Lie bialgebra
Lie bialgebroidSVEWQS6ZQRunknownopenWikidata Q25303680, nLab Lie bialgebroid
Lie bracket of vector fieldX8M6TS17A3unknownopenmathlib_overview Geometry > Differentiable manifolds > Lie bracket of vector field, Mathlib VectorField.mlieBracket
Lie bracket of vector fields6T6QDYHKRRunknownopenWikidata Q5478310, EoM Lie_bracket
Lie coalgebraA967CGD4RSunknownopenWikidata Q6543816, nLab Lie coalgebra
Lie derivativeR7ANBCBZWFunknownopenWikidata Q579267, EoM Lie_derivative, MathWorld LieDerivative, nLab Lie derivative
Lie groupP5B454M6CZtopicopenWikidata Q622679, EoM Lie_group, MathWorld LieGroup, nLab Lie group, ProofWiki Definition:Lie_Group
Lie groupQN5XP9945Zunknownopenmathlib_overview Geometry > Differentiable manifolds > Lie group, Mathlib LieGroup
Lie groupoidZ4XYPBH57PunknownopenWikidata Q6543824, MathWorld LieGroupoid, nLab Lie groupoid
Lie operad6ZD8128Z00unknownopenWikidata Q60792519, nLab Lie operad
Lie product formulaMTV61KPVMTstatementopenWikidata Q3077645, MathWorld TrotterProductFormula
Lie ringCVMVYXNXYAunknownopenWikidata Q6543829, EoM Lie_ring
Lie subalgebraMVPC6SGFSVunknownopenWikidata Q78502423, MathWorld LieSubalgebra
Lie superalgebraDAX24SKDBMunknownopenWikidata Q1133024, nLab super Lie algebra
Lie superalgebraY0Q3DSZGDNdefinitionrecord (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#GCT8
Lie theoryYFAWHYSDVCtopicopenWikidata Q357300, nLab Lie theory, ProofWiki Definition:Lie_Theory
Lie's theoremFS539687N2statementopenmathlib_1000 Q20971632, Mathlib LieModule.exists_nontrivial_weightSpace_of_isSolvable, Wikidata Q20971632, thousand_plus Q20971632, Wikipedia Lie's theorem
Lie's third theoremR7EWY3NGS2statementopenmathlib_1000 Q15080987, Wikidata Q15080987, thousand_plus Q15080987, Wikipedia Lie's third theorem
Lieb's square ice constantT5TXW0TTRVobjectopenWikidata Q17097221, MathWorld LiebsSquareIceConstant, OEIS A118273
Lieb--OxfordD2MDHZ6X9Hstatementrecord (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.20910#T3AX
Lieb-Robinson boundNM2M9DDDD9statementrecord (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.12731#Q16S
Lieb-Robinson bounds for finite-range interactions8BK1YB8MVTstatementrecord (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.12731#SCYU
LietzPP17WYXCS3statementrecord (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.17547#2WTX
Lie–Kolchin theorem1S7NM2XYRDstatementopenmathlib_1000 Q3527113, Wikidata Q3527113, thousand_plus Q3527113, Wikipedia Lie–Kolchin theorem
Lie–Palais theoremQ2B084DKXXstatementopenmathlib_1000 Q6544508, Wikidata Q6544508, thousand_plus Q6544508, Wikipedia Lie–Palais theorem
Life of an edge5CZ0WP70M5statementrecord (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.18512#8G6K
Lift and projectionVZ61HMQXNFdefinitionrecord (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#69ME
Lift eigenvalues in a large fieldPCEYZ4GVRXexamplerecord (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.07445#N51S
Lift error propagates linearly to the discovered lawTF45P4BG88statementrecord (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.02637#7UYW
lift-aware Deligne constantWZTTT6W9B6statementrecord (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.11319#VEAR
Lift-scaling invarianceHQ4V7802M2statementrecord (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.33021#2PAL
Lifted deck actionsR86KF5805Bstatementrecord (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.03745#HFMP
Lifted Golay codesYMYP3WWHEMexamplerecord (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#6DA5
Lifted Hamming codesWGH94X6B63examplerecord (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#0OHV
Lifted-class complexity7FWVQ936M2statementrecord (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.18935#3BEY
Lifted-Hamming toric code: a stack of toric codes enriched by translation7R7QA9M0P2examplerecord (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#15S3
Lifting9GEY1MQH2Astatementrecord (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.20849#X72B
LiftingR82P53J9DRstatementrecord (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.37471#VRI4
LiftingS8B84B1WGNstatementrecord (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.02244#DXPA
Lifting and smoothing criterion7ZQ5SZRZY0statementrecord (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.06225#WPEI
Lifting criterion75SS1XV26Xstatementrecord (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.11823#TTIQ
Lifting homogeneous generatorsSHVYP956W8statementrecord (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.21093#NWOU
Lifting is semanticBVF8GQ6RHAstatementrecord (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.21131#O9WP
Lifting LemmaA363CW4M42statementrecord (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 2104.00162#BD3K
Lifting of \(a\)-joins8DGGQ9TRBQdefinitionrecord (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#EZ7F
lifting one Witt layerAT9T4X31A6statementrecord (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#ZG54
Lifting path modules8TKDYBHZB2statementrecord (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.36444#7T10
Lifting paths67PC11XTD2statementopennapkin tex/topology/cover-project.tex#theorem-1
Lifting positive unitarizabilityV3KP1PZA08statementrecord (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.25805#JR85
Lifting positive zero-divisor sums through quotientsVZM11RRH12statementrecord (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.15167#JREG
Lifting propertyZ80PVG2294statementrecord (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 2307.02473#ZNN6
Lifting relations over an Artinian base16C2WEA8D1statementrecord (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.20649#PDKY
Lifting retains the entire old pair lawZEX0YXT8HYstatementrecord (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.38228#IMQR
Lifting symbolic certificatesN6QKJYPX2Wstatementrecord (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.05442#LLU4
Lifting the exponent lemma50VY9VVRWCstatementnode (a node has the same Wikidata item as the row)Wikidata Q97704248, ProofWiki Lifting_The_Exponent_Lemma
Lifting the residual conjugator4PGJ92TC98statementrecord (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.20994#J5AI