Math 2.0

Inventory: C

The rows of the inventory whose names start with C. 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 3901–4000 of 7242.

NameIdKindOutcomeSources
Commuting squareNPC4AYYRNHdefinitionrecord (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.34856#Y28X
Commuting strong bulk dissipationX1DE74PF1Cstatementrecord (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.36016#ANMV
Commuting sum with kernel inclusionS0SPX7ME19statementrecord (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.36016#QWYJ
Commuting sum: mixing-time upper boundFEX4X9JEC6statementrecord (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.36016#RB15
Commuting-shift criterionHW2V0SNY9Estatementrecord (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.14044#C6EM
comoduleB56AK4SQZVunknownopenWikidata Q5155179, nLab comodule
comonadCMRC6K6NXWconceptopenhott_book index/6.7/comonad
Comonotone random variablesYEKZN0SNA8definitionrecord (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.26951#XOK3
ComonotonicityVQTZ2W77CHstatementrecord (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.27843#XYPG
Compact $\implies$ totally bounded5CNRN40S3Sstatementopennapkin tex/topology/compactness.tex#proposition-2
Compact and complex equivariant subobjects7E8CAB6VX7statementrecord (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.18788#8QOJ
compact closed categoryNEB112VMX6unknownopenWikidata Q5155301, nLab compact closed category
compact coreXVM1YZXR9Zstatementrecord (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.27136#NNF7
Compact correctionT0HMH438B9statementrecord (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.26984#EFOB
Compact densities with matching score marginals2FSBEYR1BDstatementrecord (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#SH4F
Compact driving support and a one-point initial lawN8YXMNHVYTstatementrecord (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#MHRB
compact element2E9DN0S3TSunknownopenWikidata Q5155306, nLab compact element
Compact elliptic diffusions from deterministic stationary maps84N5X44C8Sstatementrecord (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#ERHZ
Compact embeddingFX0S3X6ZGXstatementrecord (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.01501#CSC0
compact familiesQ2MRJCZCHFexamplerecord (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.01919#QCDM
Compact Gaussian hittingRW4FZ7PKXVstatementrecord (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#ZTJ8
Compact Gelfand triple and Galerkin energy boundZN4MW30K1Zstatementrecord (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.33033#2LKX
compact group30ZGW8MPCKtopicopenWikidata Q1887083
Compact Hausdorff hyperspace, \mycite{Sections 3--4}{TuzhilinLectures8RJ5XFAWWVstatementrecord (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.17400#MKLD
Compact inputs at the mass endpoint9DXT013G69statementrecord (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#CT3F
Compact integral identityH2YSA44DPBstatementrecord (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.00077#6KVC
Compact Kantorovich duality1GNM9WQ1WRstatementrecord (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.24716#DSMD
compact Lie algebra3MRWAXX56WunknownopenWikidata Q5155287, nLab compact Lie algebra
compact Lie group4Z88E0DCJTunknownopenWikidata Q3117689, nLab compact Lie group
Compact Lorentzian sides and pseudo-causal returnAXK5C3BBDDexamplerecord (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.27136#0ZAI
compact metric spaceV07HB7DHMSunknownopenWikidata Q124633554, MathWorld Compactum, nLab compact metrizable space
compact object8D077Z2Z7YunknownopenWikidata Q65090869, nLab compact object
Compact one-step closure risk bound9XZ5ASWSRXstatementrecord (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.32652#W4HO
compact open topologyD1P42A4X9Funknownopenmathlib_overview Topology > General topology > compact open topology, Mathlib ContinuousMap.compactOpen
compact operatorK626G94V1TunknownopenWikidata Q1780743, EoM Compact_operator, Mathlib IsCompactOperator, MathWorld CompactOperator, nLab compact operator
Compact primitive8243Z7VVPYstatementrecord (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.24960#OFQD
Compact profile space, the Arzel\`a--Ascoli theorem \mycite{Sections 3.5--3.7}{TuzhilinLectures13EBAM7HGCstatementrecord (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.17400#O3PV
Compact replacementH3BYN67BE0statementrecord (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.17400#RSVZ
Compact resolvent and Fredholm propertyJ7GKR222MYstatementrecord (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#G3TN
Compact resolvent of the square-sumY9BE3GBTAWstatementrecord (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#8I1C
Compact screen2HB6KMH7M1definitionrecord (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.26262#35WG
Compact SlingsA4P7MNFHF9definitionrecord (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.12817#KBD9
compact space59JDJ8C7DNconceptnode (a node has the same name as the row)Wikidata Q381892, Mathlib CompactSpace, MathWorld CompactSpace, nLab compact space, ProofWiki Definition:Compact_Space
Compact Steiner minimal treesPB48JXC2YZstatementrecord (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.17400#VT9C
Compact support yields a flat SPO+ risk4M0W8QW0WFexamplerecord (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.33472#HI6W
compact symplectic groupCK3YZB7JPTunknownopenWikidata Q78484790, nLab compact symplectic group
Compact Szemer\'ediV6192QAZ50statementrecord (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 2606.02312#H586
Compact theta sublevels and smooth dependenceR02Y9YN49Wstatementrecord (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#W5ST
Compact-observable limits of completely positive mapsJX50K872Q6statementrecord (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#27EK
compact-open topologyE0PV703XTPunknownopenWikidata Q1669863, EoM Compact-open_topology, MathWorld Compact-OpenTopology, nLab compact-open topology
Compact-uniform translation orthogonality15JVRJP15Ystatementrecord (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.27813#E0SH
compactificationN63TE4HCZ1unknownopenWikidata Q546145, nLab compactification
Compactification and class comparisonR8D3C7P9ZPstatementrecord (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.10828#N7ZQ
Compactification geometry1P0W1EF8VZstatementrecord (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#23W6
Compactified feature set508DT4QJPJdefinitionrecord (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.26262#641Z
Compactified observable distance8Z83QVB2MKdefinitionrecord (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.26262#WCJT
compactly generated spaceDRDZ96KCVKunknownopenWikidata Q1738274, nLab compactly generated topological space
Compactly Supported ApproximationVKFJVD71MAstatementrecord (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.30105#JH32
Compactly supported Euclidean marginalsRNNW30EV2Jstatementrecord (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.10257#HBZX
Compactness1M6Y1RSAWGstatementrecord (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.33590#M32A
Compactness63XN01C53Xstatementopenopen_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#prop:proves-compact
Compactness7JAR88GQZ5statementopenopen_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#prop:proves-compact
CompactnessCKNQ2BEAW5statementrecord (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.26509#L3WF
compactnessEWCRGFE2BMstatementrecord (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.26645#HZWG
CompactnessGYRQAWS9FFstatementopenopen_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#prop:proves-compact
CompactnessHJCKNVBN39statementopenopen_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#prop:proves-compact
CompactnessJG08HHM59Fstatementrecord (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.16563#6LUN
CompactnessJXD9N7YGMKstatementrecord (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.11968#5ZIM
CompactnessM5KE6MVBEZstatementrecord (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.25015#UGRR
CompactnessMPXHDQ5PJZstatementopenopen_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#prop:proves-compact
compactnessQSR0XJ015Fstatementrecord (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.26645#866Z
CompactnessSGZE00697Dstatementopenopen_logic content/first-order-logic/completeness/compactness-direct.tex#thm:compactness-direct
CompactnessY8QA7EWF1Wstatementrecord (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.18270#TTDI
CompactnessYCQ4PZ28WKstatementrecord (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.09912#5YJ0
Compactness and Moment ContinuityN8PVPK6D9Tstatementrecord (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.07728#JC5E
Compactness and positive curvature4RNCEJ401Hstatementrecord (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#WWT2
Compactness and possible infinitude of the common zero setR02WD94103statementrecord (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.26576#R5NT
Compactness at fixed cutoffM4QKT0PND0statementrecord (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.05204#CN0Y
Compactness for approximate differential inclusions5J29MERGC7statementrecord (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.17127#ANUG
Compactness for geodesicsANEVZRPE46statementrecord (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.11911#T25O
Compactness for the localised $K_\mu$V40WM40M08statementrecord (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 2608.19483#V9N0
compactness in terms of filters90YPGRGS24unknownopenmathlib_overview Topology > General topology > compactness in terms of filters, Mathlib IsCompact
compactness in terms of open covers (Borel-Lebesgue)72FQCK2WTVunknownopenmathlib_overview Topology > General topology > compactness in terms of open covers (Borel-Lebesgue), Mathlib isCompact_iff_finite_subcover, mathlib_undergrad Topology > Topology and Metric Spaces > compactness in terms of open covers (Borel-Lebesgue)
Compactness of bounded monotone frontsEPNPYB63KFstatementrecord (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.28024#O8M1
Compactness of constrained energy sublevelsPMB039QB1Ystatementrecord (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#GS7E
Compactness of coveringXGAVDQ99KKstatementrecord (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 2608.24190#591K
Compactness of divisor components9XSQRF3PGAstatementrecord (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 2407.02022#OX6C
Compactness of finite prefixesVK010Z1Z69statementrecord (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.28791#YROS
Compactness of logarithmic potentialsH3M39SGC4Estatementrecord (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.09602#KAZP
Compactness of reduced formsFPYB6X8SYNstatementrecord (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#0LB3
Compactness of subgradientsAWMNFNB4WCstatementrecord (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#I135
Compactness of the admissible laws239MJYRXNQstatementrecord (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#W0QJ
Compactness of the barycentrically normalized classX7G9AJZK8Cstatementrecord (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.28014#46B8
Compactness of the minimization problemAPTB46ZA8Fstatementrecord (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.12203#7E5T
Compactness results5638QKPCDDstatementrecord (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.27414#VY3O
Compactness Theorem35XKSF1C95statementopenopen_logic content/propositional-logic/syntax-and-semantics/completeness.tex#prop:compactness
Compactness TheoremNF2W7JCBRJstatementopenopen_logic content/first-order-logic/completeness/compactness.tex#thm:compactness
compactness theoremNS8TN6KRKVstatementopenmathlib_1000 Q1149458, Mathlib FirstOrder.Language.Theory.isSatisfiable_iff_isFinitelySatisfiable, Wikidata Q1149458, mathlib_overview Logic and computation > Model theory > Compactness theorem, thousand_plus Q1149458, Wikipedia Compactness theorem, nLab compactness theorem
Compactness theory2HC5DJGG57statementrecord (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.09596#1QTF
Compactness under additional marginal energy constraints2DP7RA4880statementrecord (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#PX44