| Corollary | M6HAM0EP41 | statement | open | Wikipedia Dimension theory (algebra)#FT5Q |
| Corollary | MHA74FRBXX | statement | open | Wikipedia Fejér's theorem#NZ0V |
| Corollary | N8S2DKDNB6 | statement | open | Wikipedia Loomis–Whitney inequality#875L |
| Corollary | NMRS2KWXCJ | statement | open | Wikipedia Poincaré–Birkhoff–Witt theorem#Z3OR |
| Corollary | NZHRCARNP6 | statement | open | Wikipedia Wiener process#D6T8 |
| Corollary | PA5SCPF51K | statement | open | Wikipedia Zorn's lemma#P4JP |
| Corollary | PFE1RFJH73 | statement | open | Wikipedia Polynomial interpolation#BRG8 |
| Corollary | PYH4CMNS2T | statement | open | Wikipedia Hadamard's lemma#7QXA |
| Corollary | QH1MC4MXQS | statement | open | Wikipedia Morphism of algebraic varieties#3MS3 |
| Corollary | QJ32F6X3R4 | statement | open | Wikipedia Koszul complex#YEJZ |
| Corollary | QK636T0ZXF | statement | open | Wikipedia Probability density function#UT66 |
| Corollary | QRTS5914TX | statement | open | Wikipedia Geometric rigidity#Y9U7 |
| Corollary | QT2C87C32H | statement | open | Wikipedia Banach space#BFR6 |
| Corollary | QWBEPBG5S0 | statement | open | Wikipedia Hyperbolic sector#JOHD |
| Corollary | R3D96XXZRN | statement | open | Wikipedia Hopf decomposition#M3OX |
| Corollary | RACM8M3YFK | statement | open | Wikipedia Dimension theory (algebra)#4DXG |
| Corollary | RNJ9D1CFYD | statement | open | Wikipedia Kantorovich theorem#YYKR |
| Corollary | RPAMS3AW9S | statement | open | Wikipedia Steinhaus theorem#1MCA |
| Corollary | RY49VDGK5Y | statement | open | Wikipedia Finite intersection property#9R89 |
| Corollary | S0K84AFST0 | statement | open | Wikipedia Noether normalization lemma#ETMD |
| Corollary | S147HJY1QV | statement | open | Wikipedia Jacobi's formula#C3NI |
| Corollary | S1WWJDSV79 | statement | open | Wikipedia Transshipment problem#QMLQ |
| Corollary | S3RRC1X243 | statement | open | Wikipedia Coordinate vector#53NS |
| Corollary | SHQRKM1HG6 | statement | open | Wikipedia Geometry of binary search trees#06K7 |
| Corollary | SJ2T5FKFZF | statement | open | Wikipedia Trakhtenbrot's theorem#VFZ6 |
| Corollary | SP1VM3KX7W | statement | open | Wikipedia Trakhtenbrot's theorem#VGRK |
| Corollary | SS8V1PXBK4 | statement | open | Wikipedia Sub-Gaussian distribution#GMMY |
| Corollary | SZ9Y29J3ZA | statement | open | Wikipedia Calculus on Euclidean space#AXWZ |
| Corollary | T0CJHWKATW | statement | open | Wikipedia Finite intersection property#LKIV |
| Corollary | T1MDVGDEBF | statement | open | Wikipedia Sub-Gaussian distribution#P6OE |
| Corollary | TFX1DNH95V | statement | open | Wikipedia Hopf decomposition#AA44 |
| Corollary | TJG7Z28JQZ | statement | open | Wikipedia Koszul complex#V900 |
| Corollary | V4MPM3TGNA | statement | open | Wikipedia Fuglede's theorem#VVUX |
| Corollary | V5ZA44NEB0 | statement | open | Wikipedia Ergodic theory#YP7X |
| Corollary | VDYCBRW2K3 | statement | open | Wikipedia Bott periodicity theorem#3Y8H |
| Corollary | VKGWTERW17 | statement | open | Wikipedia Dimension theory (algebra)#2H3V |
| Corollary | VSBY4NPPFY | statement | open | Wikipedia Fuglede's theorem#9RVE |
| Corollary | W16PJKYNV3 | statement | open | Wikipedia Euclidean distance matrix#4WQF |
| Corollary | W4RTFD1506 | statement | open | Wikipedia Topological homomorphism#XS1L |
| Corollary | W8RNTTEAKX | statement | open | Wikipedia Abstract rewriting system#Y0Q3 |
| Corollary | WACDN7MRG4 | statement | open | Wikipedia Riesz–Thorin theorem#XC5Y |
| Corollary | WWA3ZG0FQ7 | statement | open | Wikipedia Serre spectral sequence#8YCX |
| Corollary | WZDG477P51 | statement | open | Wikipedia Fundamental theorem of calculus#637C |
| Corollary | XW5PJFFG5X | statement | open | Wikipedia John Hilton Grace#C1TU |
| Corollary | XW8VRM1TQE | statement | open | Wikipedia Justesen code#G51H |
| Corollary | Y458Y0GKA8 | statement | open | Wikipedia Lie algebra extension#UORP |
| Corollary | Y9WNJVTWFX | statement | open | Wikipedia Minkowski functional#PCOX |
| Corollary | YPDSFD8QVH | statement | open | Wikipedia Transitive relation#Y53B |
| Corollary | YPF9TVTBET | statement | open | Wikipedia Gauss's lemma (polynomials)#7543 |
| Corollary | YWXJ4487FS | statement | open | Wikipedia Montel's theorem#UZQ7 |
| Corollary | Z5WA9Z2S43 | statement | open | Wikipedia Theorem on formal functions#FRXF |
| Corollary $4$ | N7AQPFR9ZE | 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 2103.08272#JUD7 |
| Corollary $4.5$ | TRR31WZGZK | 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.08633#HRFN |
| Corollary (Bounded inverse theorem) | JFZE335DHW | statement | open | Wikipedia Open mapping theorem (functional analysis)#P95B |
| Corollary (entropy equipartition property) | 8WBEFP5P2R | statement | open | Wikipedia Asymptotic equipartition property#PBLN |
| Corollary (equivalent norms for Sobolev spaces) | SK2YKG33C0 | statement | open | Wikipedia Ehrling's lemma#G8LU |
| Corollary (Fredholm alternative) | KCFSND0G2A | statement | open | Wikipedia Farkas' lemma#FT5D |
| Corollary (Maschke's theorem) | WJBKSCJ68J | statement | open | Wikipedia Maschke's theorem#Q356 |
| Corollary (Matoušek 2008, Lemma 2.2) | GYHWQHBXM6 | statement | open | Wikipedia Sub-Gaussian distribution#2KXV |
| Corollary (over a convex polytope) | XH9D7QVQMS | statement | open | Wikipedia Sub-Gaussian distribution#99G8 |
| Corollary (Riemann mapping theorem) | SPGH7TEWBF | statement | open | Wikipedia Planar Riemann surface#K9OO |
| Corollary (Separation of a subspace and an open convex set) | 2F6HQGC9TV | statement | open | Wikipedia Hahn–Banach theorem#YCV9 |
| Corollary (Spectral stability) | DKCSMZ46YF | statement | open | Wikipedia Weyl's inequality#Y8M1 |
| Corollary 1 | 2QZG7WTZKH | statement | open | Wikipedia Permutation code#0IBO |
| Corollary 1 | 7A0ZKNF8Z8 | statement | open | Wikipedia Berge's theorem#6ABY |
| Corollary 1 | AVVSZ947K3 | statement | open | Wikipedia Robinson–Schensted–Knuth correspondence#9VHG |
| Corollary 1 | DCS737MVXM | statement | open | Wikipedia Simple continued fraction#AYTK |
| Corollary 1 | DK5EET614G | statement | open | Wikipedia Wishart distribution#0P0R |
| Corollary 1 | EBKRJX7YGB | statement | open | Wikipedia Simple continued fraction#CWK5 |
| Corollary 1 | G2JA1NV16K | statement | open | Wikipedia Differential forms on a Riemann surface#NJSO |
| Corollary 1 | GHKYP3GBTR | statement | open | Wikipedia Agnew's theorem#6E86 |
| Corollary 1 | JEKXN402B2 | statement | open | Wikipedia Differential calculus#CUHX |
| Corollary 1 | MYHRZGZ527 | statement | open | Wikipedia Space hierarchy theorem#DTIR |
| Corollary 1 | Q2KFDM426N | statement | open | Wikipedia Loewy decomposition#HOR7 |
| Corollary 1 | REAS65427B | statement | open | Wikipedia Simple continued fraction#2MGR |
| Corollary 1 | YR2RZ6CQ0V | statement | open | Wikipedia Freudenthal suspension theorem#BBZM |
| Corollary 1 | ZS7MX03302 | statement | open | Wikipedia Borel–Carathéodory theorem#EG5T |
| Corollary 1. Pythagoras's theorem | RJSHAP3DHS | statement | open | Wikipedia Ptolemy's theorem#SHGZ |
| Corollary 2 | 17NHZJZGPE | statement | open | Wikipedia Wishart distribution#PD1D |
| Corollary 2 | 85ZGSMVCHF | statement | open | Wikipedia Permutation code#Y5I2 |
| Corollary 2 | 8MZWRBERSY | statement | open | Wikipedia Robinson–Schensted–Knuth correspondence#QL7F |
| Corollary 2 | 8Q3R378W5R | statement | open | Wikipedia Berge's theorem#0Q5V |
| Corollary 2 | 962WA4QKRX | statement | open | Wikipedia Simple continued fraction#QENC |
| Corollary 2 | C4GMK1Q43E | statement | open | Wikipedia Differential forms on a Riemann surface#HSHO |
| Corollary 2 | C4M8NGRJ1K | statement | open | Wikipedia Space hierarchy theorem#PNYI |
| Corollary 2 | D7ATT5S9V4 | statement | open | Wikipedia Agnew's theorem#HGQU |
| Corollary 2 | E0CPNZ3XDF | statement | open | Wikipedia Differential calculus#S6MB |
| Corollary 2 | EFBZYRZ0ZD | statement | open | Wikipedia Freudenthal suspension theorem#6L16 |
| Corollary 2 | PAVEPR8253 | statement | open | Wikipedia Loewy decomposition#W01Z |
| Corollary 2 | QFG2JBGZ63 | statement | open | Wikipedia Simple continued fraction#WQSA |
| Corollary 2 | TCJD1R8SAP | statement | open | Wikipedia Simple continued fraction#AYHR |
| Corollary 2 (Titchmarsh, 5.51, improved) | N31BS85HCQ | statement | open | Wikipedia Borel–Carathéodory theorem#S06Y |
| Corollary 2 and Table 1 of , specialized to prime case | SJ83B9D4M2 | 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.23128#YAN1 |
| Corollary 2. The law of cosines | REHTWCAWK8 | statement | open | Wikipedia Ptolemy's theorem#AZ2X |
| Corollary 2.2 and Theorem 5.2 | W3ESJHYNBH | 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.19251#ESA8 |
| Corollary 2.3 in \textcite{Henke-et-al:2024 | S4EPD0BTP0 | 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 2503.01563#FCFP |
| Corollary 3 | FPMDS0MAP3 | statement | open | Wikipedia Space hierarchy theorem#SBR7 |
| Corollary 3 | K685N62YQW | statement | open | Wikipedia Differential calculus#W2A7 |
| Corollary 3 | SHMXCVB4PW | statement | open | Wikipedia Simple continued fraction#KWU8 |
| Corollary 3 | XEVTF0R6N6 | statement | open | Wikipedia Loewy decomposition#PGD9 |