| Cantic 6-cube | 6HGYD1Z7AF | definition | open | Wikipedia Cantic 6-cube, Wikidata Q7847860 |
| Cantic octagonal tiling | ZYCX7A5RYQ | definition | open | Wikipedia Cantic octagonal tiling, Wikidata Q16851687 |
| Cantic order-4 hexagonal tiling | 4TBZDPH3P6 | object | open | Wikipedia Cantic order-4 hexagonal tiling, Wikidata Q7844278 |
| Cantic snub 24-cell | CD5DWEEEVW | unknown | open | Wikipedia Cantellated 24-cells#G8JR |
| Cantitruncated 24-cell honeycomb | JFGXCYNZWN | definition | open | Wikipedia Cantitruncated 24-cell honeycomb, Wikidata Q17004474 |
| Cantitruncated alternated cubic honeycomb | HCZNQM6QCZ | definition | open | Wikipedia List of mathematical shapes#GU1T, Wikipedia List of polygons, polyhedra and polytopes#7VVT |
| Cantitruncated cubic honeycomb | STCEHPH3RX | object | open | Wikipedia List of mathematical shapes#KQZB, Wikipedia List of polygons, polyhedra and polytopes#4C83 |
| Cantitruncated tesseractic honeycomb | EBPZ1EVC0T | object | open | Wikipedia Cantitruncated tesseractic honeycomb, Wikidata Q17007148 |
| Cantor | 2HG69K4E41 | definition | open | Wikipedia Glossary of real and complex analysis#NJKJ |
| Cantor | 9QDBVSDW9T | statement | open | hott_book setmath.tex#thm-4 |
| Cantor | D3CJQY0VP4 | statement | open | lebl_ra ch-real-nums.tex#thm-2 |
| Cantor | D71NZ98C3Y | statement | open | open_logic content/sets-functions-relations/size-of-sets/comparing-size.tex#thm:cantor |
| Cantor | JCPC332MA1 | definition | open | Wikipedia Glossary of set theory#OT9M |
| Cantor | Y2QXPYNXSF | statement | open | lebl_ra ch-real-nums.tex#thm-3 |
| Cantor \footnote{Named after the German mathematician \href{https://en.wikipedia.org/wiki/Georg_Cantor}{Georg Ferdinand Ludwig Philipp Cantor} (1845--1918).} | TT5J8B4NA9 | statement | open | lebl_ra ch-vol1-intro.tex#cantorspowersetthm |
| Cantor algebra | DPB9ZKXE6A | definition | open | Wikipedia Cantor algebra, Wikidata Q18386550 |
| Cantor cube | QFY4R426Y5 | definition | open | Wikipedia Cantor cube, Wikidata Q5034034 |
| Cantor distribution | 7S3E5HPJZC | definition | open | Wikipedia Cantor distribution, Wikidata Q1033874 |
| Cantor distribution | 8ZAVPHEN91 | definition | open | Wikipedia List of statistics articles#SLLA |
| Cantor distribution | GKK4H4Z1A6 | definition | open | Wikipedia List of probability distributions#VYMI |
| Cantor Dust | 3Z2RZR3D77 | unknown | open | Wikipedia Cantor set#21N0 |
| Cantor dust | V0QN9JPKSE | definition | open | Wikipedia List of mathematical shapes#ACGA |
| Cantor function | CBSXS7SJZF | definition | open | Wikipedia List of mathematical examples#W6GB |
| Cantor function | EFHR13WW6M | definition | open | Wikidata Q938883, MathWorld CantorFunction, Wikipedia Cantor function |
| Cantor group | MC8HWDRX6A | unknown | open | Wikipedia Cantor space#6UAU |
| Cantor Medal | 1422RXSJ1Z | definition | open | Wikipedia Cantor Medal, Wikidata Q653445 |
| Cantor normal form | 7PKVXPXE5P | unknown | open | mathlib_overview Logic and computation > Set theory > Ordinals > Cantor normal form, Mathlib Ordinal.CNF |
| Cantor number | 527J9K5YH4 | unknown | open | Wikidata Q12786684, MathWorld Catalan-MersenneNumber, OEIS A007013 |
| Cantor set | 18SR4RT755 | definition | open | Wikipedia List of topologies#LTON |
| Cantor set | 3K282K6SMP | definition | open | Wikipedia List of general topology topics#ZOJJ |
| Cantor set | EN10F3SHH5 | definition | open | Wikipedia List of chaotic maps#YDRE, Wikipedia List of mathematical shapes#5LBV, Wikipedia List of real analysis topics#3STU, Wikipedia List of mathematical examples#D7UQ |
| Cantor set | WN0DFESZPT | definition | node (a node has the same Wikidata item as the row) | Wikidata Q273188, MathWorld CantorSet, Wikipedia Cantor set |
| Cantor space | MM22S5T2CP | definition | open | Wikidata Q616653, nLab Cantor space, Wikipedia Cantor space |
| Cantor space | PJA0MFTFTW | definition | open | Wikipedia List of general topology topics#FJ2I, Wikipedia List of examples in general topology#T1C7 |
| Cantor String | STWRHA5K4G | 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 2609.22759#KH1Z |
| Cantor String | WPT2BVG1AK | 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 2609.22759#GD9W |
| Cantor subsets | CKBVY2SB15 | 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.14548#71I9 |
| Cantor tesseract | M0E0K6RXE4 | unknown | open | Wikipedia List of mathematical shapes#6LYJ |
| Cantor tree | 29PKWZN97S | definition | open | Wikipedia Cantor tree, Wikidata Q5034032 |
| Cantor tree | FXX5EBG2NG | definition | open | Wikipedia List of topologies#3JG3 |
| Cantor tree surface | 8S979GZTKW | definition | open | Wikipedia Cantor tree surface, Wikidata Q5034031 |
| Cantor tree surface | YN70Z2R4DG | definition | open | Wikipedia List of surfaces#49WZ |
| Cantor's back-and-forth method | XWE5GCDCWW | definition | open | Wikipedia List of mathematical logic topics#WILC |
| Cantor's diagonal argument | NJC29KAT4E | statement | open | napkin tex/set-theory/zfc.tex#lem:cantor_diag |
| Cantor's diagonal argument | NNDJ84HRVE | definition | open | Wikipedia List of paradoxes#R3J4 |
| Cantor's diagonal argument | XEX0S8JHCK | definition | node (a node has the same Wikidata item as the row) | Wikidata Q729471, MathWorld CantorDiagonalMethod, Wikipedia Cantor's diagonal argument |
| Cantor's diagonal argument | ZVCJ4T7RXS | definition | open | Wikipedia List of mathematical proofs#91BQ, Wikipedia List of mathematical logic topics#Y1MI |
| Cantor's first set theory article | WC8A406JRA | definition | open | Wikipedia Cantor's first set theory article, Wikidata Q356702 |
| Cantor's first uncountability proof | 3MFW07F6E5 | definition | open | Wikipedia List of mathematical proofs#KDDM, Wikipedia List of mathematical logic topics#R2H8 |
| Cantor's intersection theorem | 5TB164QEYV | statement | open | Wikipedia List of theorems#RN2B |
| Cantor's intersection theorem | 755QFRJ4VP | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q1050203, Mathlib IsCompact.nonempty_sInter_of_directed_nonempty_isCompact_isClosed, Wikidata Q1050203, thousand_plus Q1050203, Wikipedia Cantor's intersection theorem, Wikidata Q858052, MathWorld CantorsIntersectionTheorem |
| Cantor's isomorphism theorem | B1AEQKKCEP | statement | open | mathlib_1000 Q107710112, Mathlib Order.iso_of_countable_dense, Wikidata Q107710112, thousand_plus Q107710112, Wikipedia Cantor's isomorphism theorem, Wikidata Q3527028 |
| Cantor's isomorphism theorem | N9TZKHGT7Q | statement | open | Wikipedia List of theorems#B0GK |
| Cantor's paradox | ND5M2JGRFX | statement | open | Wikidata Q379078, MathWorld CantorsParadox, nLab Cantor's paradox, Wikipedia Cantor's paradox |
| Cantor's paradox and Cantorian sets | E2GZ8WZ574 | statement | open | Wikipedia New Foundations#GNXH |
| Cantor's set theory | ZKH1KG1KGX | unknown | open | Wikipedia Set theory#5M7X |
| Cantor's theorem | 49ZE4S9J2S | statement | node (a node has the same Wikidata item as the row) | mathlib_100 63, Mathlib Function.cantor_surjective, mathlib_1000 Q474881, Wikidata Q474881, thousand_plus Q474881, Wikipedia Cantor's theorem, MathWorld CantorsTheorem, nLab Cantor's theorem, ProofWiki Cantor's_Theorem |
| Cantor's Theorem | 4QY0TNYN5Y | statement | open | ernst_ibl MAAPressVersion/UncountableSets.tex#thm:Cantors Theorem |
| Cantor's theorem | 6N8GCMTVVC | concept | open | hott_book index/C.2/cantor-s-theorem |
| Cantor's theorem | 72368G3KPY | statement | open | Wikipedia Universal set#SAXB |
| Cantor's theorem | 8KB19CYCAB | statement | open | Wikipedia List of mathematical proofs#R7Z2, Wikipedia List of mathematical logic topics#W1U3 |
| Cantor's theorem | AWT3AZKW10 | concept | open | lebl_ra index/7.4/cantor-s-theorem |
| Cantor's theorem | JTHE1SZSQE | concept | open | lebl_ra index/11.9.5/cantor-s-theorem |
| Cantor's theorem | X3E7VHT8PD | statement | open | Wikipedia Zermelo set theory#M4EK |
| Cantor's theorem | Y611WCZDED | statement | open | Wikipedia List of theorems#7EL6 |
| Cantor–Bernstein theorem | BV8KCFK51Q | statement | open | Wikipedia Cantor–Bernstein theorem, Wikidata Q25303602 |
| Cantor–Bernstein–Schroeder theorem | QCJKARK1T4 | statement | open | Wikipedia List of mathematical proofs#NBGD, Wikipedia List of mathematical logic topics#7RFE |
| Cantor–Bernstein–Schroeder theorem | TPZZBT23E4 | statement | node (a node has the same Wikidata item as the row) | mathlib_100 25, Mathlib Function.Embedding.schroeder_bernstein, mathlib_1000 Q1033910, Wikidata Q1033910, thousand_plus Q1033910, Wikipedia Cantor–Bernstein–Schroeder theorem, MathWorld Schroeder-BernsteinTheorem, nLab Cantor-Schroeder-Bernstein theorem, ProofWiki Cantor-Bernstein-Schröder_Theorem, Wikipedia Schröder–Bernstein theorem |
| Cantor–Bernstein–Schröder theorem | TGP21NPDMJ | statement | open | Wikipedia List of theorems#6USX |
| Cantor–Dedekind axiom | C8J7PWJX25 | statement | open | Wikidata Q1860722, MathWorld Cantor-DedekindAxiom, Wikipedia Cantor–Dedekind axiom |
| Cantor–Dedekind axiom | QCZKQDD2EZ | statement | open | Wikipedia List of things named after Richard Dedekind#OI2F |
| Cantor–Zassenhaus algorithm | 1NFRJF2DFG | definition | open | Wikipedia List of algorithms#WPNV |
| Cantor–Zassenhaus algorithm | KS6K0ZH1X3 | definition | open | Wikipedia Cantor–Zassenhaus algorithm, Wikidata Q2835780 |
| Cantwell--Conlon | 2T5MPMP12H | 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.10558#HPRG |
| CANXTABQRS | CANXTABQRS | 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 1709.08958#EWFJ |
| Cao et al.\ | 2B0NR8D0FB | conjecture | 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.21097#J1XH |
| Cao--Liu--Zhang | DBX9BXXCSA | 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.16203#T7IJ |
| Cap and monotonicity; \appproof{pf:capmono | MAG216ZHFM | 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.39233#XX01 |
| Cap form of the defect | C9NZ30F67X | 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.25120#Q5MW |
| Cap formula | YAAGE6N9C7 | 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.25120#MBOD |
| cap product | 2P4DJV7REF | definition | open | Wikidata Q5034459, nLab cap product, Wikipedia Cap product |
| cap product | CXZB4J2GYP | definition | open | Wikipedia Glossary of algebraic topology#AMES |
| Cap set | 4NMBYD43W1 | definition | open | Wikipedia Cap set, Wikidata Q28455422 |
| Cap set problem | ACCQKG4VR6 | definition | open | Wikipedia List of unsolved problems in mathematics#HOTI |
| Cap size and angular diameter | V3RQ9Y4BGT | 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.20643#PSE5 |
| CAP theorem | 366T26G3RF | statement | open | mathlib_1000 Q856032, Wikidata Q856032, thousand_plus Q856032, Wikipedia CAP theorem |
| CAP theorem | JBFFYP4HCZ | statement | open | Wikipedia List of theorems#MU7M |
| Cap--half-mean inequality | 970ZVVBG64 | 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.24931#OPR6 |
| Cap-mean discrepancy | P0CGAVBWNZ | 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.12387#LJBI |
| CAP4Y0G9AJ | CAP4Y0G9AJ | 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.33383#5XAD |
| Capable group | ARHXS1P7RV | definition | open | Wikipedia Capable group, Wikidata Q5034472 |
| Capable group | M1DSCQ6VDK | definition | open | Wikipedia List of group theory topics#8A4M |
| Capacitance | NP75KJT4XZ | definition | open | Wikipedia Capacitance, Wikidata Q164399 |
| Capacitance matrix | XN1PJV5XKA | unknown | open | Wikipedia Capacitance#PTQ4 |
| Capacitary bounds for the degeneracy sets | 7AW9HWN83E | 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.25449#NSW1 |
| Capacitated arc routing problem | QWX469AQ4E | problem | open | Wikipedia Capacitated arc routing problem, Wikidata Q113331237 |
| Capacitated Hall--Ore theorem | 4DX2SBCZEX | 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.30315#5LHC |
| Capacitated minimum spanning tree | G4X0FTZJ87 | definition | open | Wikipedia List of NP-complete problems#A7M6 |
| Capacitated minimum spanning tree | PTZ3FAPH9Z | definition | open | Wikipedia Capacitated minimum spanning tree, Wikidata Q5034477 |
| Capacities and water-filling | WYWHH82NEZ | 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.22308#3Z17 |