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 3401–3500 of 7242.

NameIdKindOutcomeSources
CMTXQ61BRFCMTXQ61BRFstatementrecord (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.06541#JXNE
CMVDENK0V1CMVDENK0V1statementrecord (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.24185#MJRY
CMVFRYY2F2CMVFRYY2F2exampleopennapkin tex/alg-NT/artin.tex#example-9
CMWX4XQDGWCMWX4XQDGWstatementrecord (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.36622#DFCE
CMXH43PXQ4CMXH43PXQ4statementrecord (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.32233#HMYW
CMXRQAY0PYCMXRQAY0PYstatementrecord (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.09171#RQRN
CMXWCZXR4BCMXWCZXR4Bstatementrecord (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.03612#TUY9
CMY2NBSR76CMY2NBSR76statementrecord (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.31336#E0GE
CMY6YHPJDACMY6YHPJDAstatementrecord (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.03555#JB09
CMY8QGXGDBCMY8QGXGDBstatementrecord (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 2404.06445#JJYV
CMY9AVHA58CMY9AVHA58exampleopenopen_logic content/sets-functions-relations/inductive-defs-proofs/introduction.tex#ex-1
CMYQK50FG4CMYQK50FG4definitionrecord (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 2411.16022#1TJ7
CMYYAZJE4BCMYYAZJE4Bstatementrecord (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.05118#C7O9
CMZTXV2S9PCMZTXV2S9Pstatementrecord (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.13505#PCF8
CMZYW3J5KACMZYW3J5KAdefinitionrecord (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.27689#C8SM
CN1HDC8SCSCN1HDC8SCSstatementrecord (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.17541#V5MX
CN1VQHA6GVCN1VQHA6GVstatementrecord (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.04876#VM6N
CN1Y96MJHXCN1Y96MJHXexerciseopenlevin_dmoi ptx/sec_gt-planar.ptx#investigation-2
CN21JBBKCXCN21JBBKCXdefinitionrecord (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.09129#T98W
CN23YN031NCN23YN031Ndefinitionrecord (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.13429#SXH8
CN2QZQYA0VCN2QZQYA0Vstatementrecord (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.13556#RMCZ
CN3GWTA50HCN3GWTA50Hstatementrecord (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.18219#YBFD
CN43XAJBR2CN43XAJBR2statementrecord (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.09133#56KU
CN45ZF2Z5BCN45ZF2Z5Bdefinitionrecord (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.26382#M6SW
CN4F4HWJJKCN4F4HWJJKproofopenopen_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#proof-5
CN5E1P86XJCN5E1P86XJstatementrecord (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.08226#VO8O
CN6EV3ZAGNCN6EV3ZAGNstatementrecord (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.18803#DAWY
CN7PHFW8HSCN7PHFW8HSstatementrecord (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.40054#XJ22
CN899YV8RTCN899YV8RTproofopenopen_logic content/first-order-logic/axiomatic-deduction/proving-things.tex#proof-1
CN89MNW1AECN89MNW1AEstatementrecord (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.05784#8MOK
CN9MH7YYG7CN9MH7YYG7statementrecord (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.06438#DNQ9
CN9QPRCWAXCN9QPRCWAXstatementrecord (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.05784#L3CW
CNAT335H8HCNAT335H8Hstatementrecord (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.39700#5BVR
CNB76JN69NCNB76JN69Nstatementrecord (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.01354#6BCV
CNBAXENDCTCNBAXENDCTstatementrecord (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.25656#CJAH
CNBP4DEM5RCNBP4DEM5Rstatementrecord (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.07673#PLBA
CNCVQ2F6QWCNCVQ2F6QWstatementrecord (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.28076#0PAP
CNCW2XDA5GCNCW2XDA5Gstatementrecord (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 2109.12716#4HLG
CND0NSAT23CND0NSAT23definitionopenhott_book reals.tex#defn:lipschitz
CND8PY8T1TCND8PY8T1Tstatementrecord (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.34471#9ZRF
CNDWF822DQCNDWF822DQdefinitionrecord (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 2212.01916#J4SD
CNE6RXYSM4CNE6RXYSM4statementrecord (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.09949#HZD0
CNEAZFJNF7CNEAZFJNF7definitionrecord (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.14600#7IF9
CNES3WX6FXCNES3WX6FXstatementrecord (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.12108#39ES
CNF73T18F6CNF73T18F6examplerecord (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.16311#K03J
CNFBHT9J09CNFBHT9J09statementrecord (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.37520#JUTC
CNG9BQEVF7CNG9BQEVF7exerciseopenlebl_ra ch-real-nums.tex#exercise-34
CNGV7DHQNQCNGV7DHQNQstatementrecord (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.15421#7W3L
CNHF53MBKSCNHF53MBKSstatementrecord (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.21725#2D6Q
CNHWPDJGH2CNHWPDJGH2exerciseopenlebl_diffyqs ch-first-order-ode.tex#exercise-121
CNJ10TRS41CNJ10TRS41statementrecord (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.15416#92YL
CNJBBZS8N8CNJBBZS8N8statementrecord (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 2512.08487#FELT
CNJBSQ52K6CNJBSQ52K6statementrecord (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.09483#O55D
CNJHKQM88YCNJHKQM88Ystatementrecord (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 2102.12931#2LE2
CNJVXEGQZKCNJVXEGQZKstatementrecord (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.26114#U63Y
CNKCEW3EMBCNKCEW3EMBproofopenopen_logic content/normal-modal-logic/axioms-systems/proofs-in-K.tex#proof-1
CNKTFNZ37FCNKTFNZ37Fdefinitionrecord (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.25168#6D68
CNKX4YNV4VCNKX4YNV4Vstatementopenopen_logic content/computability/computability-theory/s-m-n.tex#thm:s-m-n
CNMZ0KAMSXCNMZ0KAMSXstatementrecord (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.31781#ZEZ2
CNNDXGM4F5CNNDXGM4F5examplerecord (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#QAN8
CNNRCXFA3DCNNRCXFA3Dstatementrecord (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.07471#7ETN
CNNXP127HFCNNXP127HFdefinitionrecord (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.38493#LBQ2
CNPSDQ8EB8CNPSDQ8EB8statementrecord (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.09341#XSIS
CNPSJ41YMVCNPSJ41YMVstatementrecord (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.25348#SX77
CNQ6G5TXNVCNQ6G5TXNVdefinitionrecord (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.15444#K31J
CNRK5CQGJNCNRK5CQGJNstatementrecord (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.06707#3NGZ
CNRKPRRBWNCNRKPRRBWNstatementrecord (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 2512.19872#0ZES
CNRYP4X0FTCNRYP4X0FTexamplerecord (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.28803#ZE67
CNRYQW75G5CNRYQW75G5statementrecord (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.03769#O647
CNS36M5XCYCNS36M5XCYexamplerecord (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.27931#6VOR
CNS48EXBNDCNS48EXBNDstatementrecord (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.14879#O7RE
CNTFKWQ3FWCNTFKWQ3FWstatementrecord (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 2404.14253#DG1Y
CNTX83QF2CCNTX83QF2Cstatementrecord (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.35474#E625
CNV20B5PGECNV20B5PGEstatementrecord (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.09422#WJS5
CNVX6NR3BMCNVX6NR3BMstatementrecord (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.00775#U9TJ
CNVYB8FHP4CNVYB8FHP4statementrecord (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.27458#CINC
CNW1F0G8CTCNW1F0G8CTstatementrecord (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.37967#HX1E
CNWJ4J1R3ECNWJ4J1R3Estatementrecord (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.27795#R9DX
CNWKHP9R7PCNWKHP9R7Pstatementrecord (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.32651#W3IU
CNX5PQ3CKPCNX5PQ3CKPstatementrecord (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.06461#3NWL
CNXD5F080ACNXD5F080Astatementrecord (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.08658#R9G7
CNY6A14TXYCNY6A14TXYstatementrecord (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.28403#AIHZ
CNYY9PANPTCNYY9PANPTstatementrecord (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.39449#S08R
CNZQ710517CNZQ710517statementrecord (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.13799#BQZT
Co)unit-induced equivalencesH4RZS0W299statementrecord (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.03865#TUMO
Co-)slice categories5T5C7FT2HFdefinitionrecord (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.03865#29FM
Co-)slice categories of the terminal object and pointed stacksFTE2MFRV5Wexamplerecord (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.03865#CIKV
co-antenna graph29PVCEW4TKunknownopenWikidata Q137484944, House of Graphs 51355
co-claw graph9GBPP6MW4JunknownopenWikidata Q136148099, House of Graphs 620
Co-countable $\sigma$-algebraYK8E5SBASWexamplerecord (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.21391#NMJY
co-domino graph3FZNBTXQYRunknownopenWikidata Q138646001, House of Graphs 51479
co-H-spaceRYP1GV33GXconceptopenWikidata Q124630682, EoM Co-H-space, MathWorld Co-H-Space, nLab co-H-space
Co-NP-completeness of second-level recognitionME2CZJ8ZDZstatementrecord (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.37589#ZONF
co-twin-houseK71GP2ANNXunknownopenWikidata Q137442433, House of Graphs 922
coadjoint representationET07VTHRT2unknownopenWikidata Q5137654, EoM Coadjoint_representation, nLab coadjoint action
coalgebra4KBVKB7NTAtopicopenWikidata Q1777803, nLab coalgebra
coalgebraPHM8DH9WMFdefinitionrecord (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#7QJQ
coanalytic setNV8KMFYPSSunknownopenWikidata Q5138050, MathWorld CoanalyticSet
Coarea formulaBB9SKHK770statementrecord (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.18544#TD8N
Coarea Formula, \protectG2ERKY0G3Estatementrecord (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 2601.22681#461C