| Erdős–Kac theorem | BY5WRND0J1 | statement | none |
| Dominated convergence theorem | BYNV84PF86 | statement | none |
| Grönwall area theorem | BYZDAZNHP4 | statement | none |
| Mordell's theorem | BZHGKN6Q3K | statement | none |
| Rado's theorem | BZSGRCTFH4 | statement | none |
| Vinogradov's theorem | C01Z9QRGZY | statement | none |
| Borel–Ritt theorem | C2FFQAPJ9F | statement | none |
| Vitali convergence theorem | C3CKZAZ57Z | statement | none |
| Landau–Kolmogorov inequality | C3DD4Z4MD1 | statement | none |
| Localization of a Noetherian ring is Noetherian | C618HAK3X6 | statement | none |
| Akizuki–Hopkins–Levitzki theorem | C7X657TF19 | statement | none |
| Hochster's theorem on spectral spaces | C82AXZK2BS | statement | none |
| Radó's theorem on triangulation of surfaces | C9X05EDS5F | statement | none |
| Steinitz's theorem on algebraically closed fields | CAEHMSX9RT | statement | none |
| Witt's theorem | CCB8VNQCV0 | statement | none |
| Raabe's test | CD6CAQ6XDN | statement | none |
| Reduction to diagonal form by transvections | CFB41AZX87 | statement | none |
| Continuous mapping theorem | CFRN0G7GDB | statement | none |
| Jacobi's four-square theorem | CG17WSS64W | statement | none |
| Hadamard's inequality | CGDN1X32NQ | statement | none |
| Courant–Fischer min-max theorem | CJK2HS2508 | statement | none |
| Gleason's theorem on projective compact spaces | CPZKZ2AV0G | statement | none |
| Direct summand conjecture | CQJ1FPKKHT | statement | none |
| Modularity theorem | CS1NVJBZMH | statement | none |
| Non-vanishing of the zeta function on the line Re s = 1 | CXES7915R7 | statement | none |
| Pólya's theorem on integer-valued entire functions | CYT8JNNWXH | statement | none |
| LYM inequality | D1GQNNRDDN | statement | none |
| Adams–Novikov spectral sequence | D34QHZVPES | statement | none |
| Prokhorov's theorem | D6FMEQYA76 | statement | none |
| Eigendecomposition | D7E9SZ4E82 | statement | none |
| Puppe sequence | D7K7YB52MM | statement | none |
| Hilbert's Nullstellensatz | D85VZWS9QK | statement | none |
| Ulm's theorem | D8A4VEQR98 | statement | none |
| Kolmogorov's inequality | D9B4HE4B4Q | statement | none |
| Ahlfors–Bers theorem | D9B92SQ2GF | statement | none |
| Hadamard gap theorem | DA8M8VZZHC | statement | none |
| Karamata's Tauberian theorem | DBEGF38V9H | statement | none |
| Optional stopping theorem | DC9HZT2HVJ | statement | none |
| Marchenko–Pastur law | DCK63WTY5E | statement | none |
| Schauder fixed-point theorem | DCPFVVZZ54 | statement | none |
| Adams spectral sequence | DD4D0EKX74 | statement | none |
| Tameness theorem | DE1Z7R9T05 | statement | none |
| Segal conjecture | DE29ZC399Z | statement | none |
| Bochner's formula | DF7KYMAGTC | statement | none |
| Yau–Tian–Donaldson conjecture | DHYSPSYSCB | statement | none |
| Nehari's theorem on univalence | DN98H15VZF | statement | none |
| Euler's sine product | DQEHD56649 | statement | none |
| Margulis superrigidity theorem | DSKV65NHZZ | statement | none |
| Compactness via ultrafilters | DT5PH9QVQ7 | statement | none |
| Stone's theorem on one-parameter unitary groups | DVGQB92HPJ | statement | none |
| Riesz–Markov–Kakutani representation theorem | DWFPDF8XTB | statement | none |
| Fenichel's theorem | DZXTK64M6X | statement | none |
| Long exact sequence of homotopy groups | E0RV5D1GQ0 | statement | none |
| Monstrous moonshine | E0Y7Y75T6C | statement | none |
| s-cobordism theorem | E1E5ABP89W | statement | none |
| Craig interpolation theorem | E2CBFNAVZY | statement | none |
| Completeness of the real numbers | E3CPZNJZNG | statement | none |
| Menger's theorem | E6GYGZDBS7 | statement | none |
| Glivenko–Cantelli theorem | E7B78X780X | statement | none |
| Roth's theorem on arithmetic progressions | E7H8NWXESF | statement | none |
| Characterizations of discrete valuation rings | E7XJ3X8RG4 | statement | none |
| Gordon–Luecke theorem | EBASBW5TYS | statement | none |
| Plünnecke–Ruzsa inequality | EBEVWSRD2E | statement | none |
| Markov brothers' inequality | EHA5MF9VKE | statement | none |
| Hermite normal form | EHE26PR17K | statement | none |
| Eckmann–Hilton argument | EJJYCPWHPA | statement | none |
| Cohen's independence of CH | EMGBZ46GCD | statement | none |
| Cubic reciprocity | EMVECB93EQ | statement | none |
| Choi's theorem on completely positive maps | EQG2K8ZFM4 | statement | none |
| Morse lemma | ERSD8D4HWX | statement | none |
| Gauss–Bonnet theorem | ESGEHKPD60 | statement | none |
| Szemerédi regularity lemma | ETMAPNQY7T | statement | none |
| Duistermaat–Heckman formula | EWJK7NY6ZB | statement | none |
| Cauchy formula for repeated integration | EYXG11V76E | statement | none |
| Fenchel's theorem | F0BJ2BHSZG | statement | none |
| Bernstein's inequality for polynomials | F0YGC89S9R | statement | none |
| Kleene's recursion theorem | F3Z30M606H | statement | none |
| Cauchy–Kovalevskaya theorem for ODEs | F4VMHVWK41 | statement | none |
| Cauchy–Davenport theorem | F7K7XFACSG | statement | none |
| Borel–Carathéodory theorem | F8XD8CDB0H | statement | none |
| Finiteness of the class number | F99RM1T02C | statement | none |
| Compactness of the spectrum | FA5V5KRWDF | statement | none |
| Cubic formula | FB6J5WAT5V | statement | none |
| Vitali covering lemma | FCA0J1X07K | statement | none |
| Nikodym convergence theorem | FCAA02SN0E | statement | none |
| Sylow theorems | FESTJ0K9TX | statement | none |
| Banach–Tarski paradox | FH250K068Z | statement | none |
| Dehn's lemma | FH5WSPD79F | statement | none |
| Erdős–Ko–Rado theorem | FJ92Q6VTJH | statement | none |
| Prime avoidance lemma | FMP5AWG6PR | statement | none |
| Hahn–Kolmogorov theorem | FN2WRRF6V9 | statement | none |
| Myers's theorem | FPMJEX3DSJ | statement | none |
| Nishida nilpotence theorem | FQ048Z65F9 | statement | none |
| Restricted Burnside problem | FQZJKY2G5Q | statement | none |
| Kunz's theorem | FRCY5BQF6N | statement | none |
| Splitting principle | FRTE50B74R | statement | none |
| Quantifier elimination for real closed fields | FSJ9NGRRPA | statement | none |
| Krull–Akizuki theorem | FSXA3CF365 | statement | none |
| Gage–Hamilton–Grayson theorem | FVGW1381TZ | statement | none |
| Karamata's inequality | FWKSHEJ9RP | statement | none |
| Rauch comparison theorem | FX40F4A63V | statement | none |
| Bipolar theorem | FX5PWKCMBQ | statement | none |
| Frostman lemma | FYNFT90NT2 | statement | none |
| Phragmén–Lindelöf principle | FYR6V2NH6C | statement | none |
| Lindström's theorem | FYZ3CJGZYV | statement | none |
| Prime decomposition of 3-manifolds | FZH5T5340Q | statement | none |
| Cellular approximation theorem | G003WR6SMX | statement | none |
| Wirtinger's inequality for functions | G0J13SXYTC | statement | none |
| James's theorem | G1VWNQSAK5 | statement | none |
| Monotone convergence theorem | G2S6H789RG | statement | none |
| Nagell–Lutz theorem | G38B7E4ESW | statement | none |
| Hilbert's inequality | G4R4MWWP3C | statement | none |
| Kruskal–Katona theorem | G6WNYB0WMY | statement | none |
| Krasner's lemma | G8PGN0WQHW | statement | none |
| Tubular neighborhood theorem | GCBY80CSC6 | statement | none |
| Ostrowski's theorem | GCQ23XT6VD | statement | none |
| Slutsky's theorem | GCV10B5HES | statement | none |
| Fabry gap theorem | GE0HX2KMMZ | statement | none |
| Tanaka's formula | GEM0ERJ5ZB | statement | none |
| Kramers–Kronig relations | GFS95PZ5YK | statement | none |
| Chern–Gauss–Bonnet theorem | GG6NYPKMHX | statement | none |
| Talagrand's concentration inequality | GGEAGW4RRV | statement | none |
| Nagata's criterion for factoriality | GGEMJF449D | statement | none |
| Going-up theorem | GHKYR5PBQC | statement | none |
| Representability of cohomology by Eilenberg–MacLane spaces | GPDPYHM3RE | statement | none |
| Circle packing theorem | GR1DDT1B6B | statement | none |
| Weyl's criterion | GS4RC7A7DJ | statement | none |
| Adem relations | GS8SCGYPX7 | statement | none |
| Dilworth's theorem | GT224XDA4E | statement | none |
| Second main theorem of Nevanlinna theory | GWYE6745JK | statement | none |
| Stallings theorem about ends of groups | GWZN3EKEWD | statement | none |
| Closed graph theorem | GXM8BX8YM7 | statement | none |
| Virtually Haken conjecture | GYB411M966 | statement | none |
| Lusin's theorem | GZMAH9W2SK | statement | none |
| Sobolev embedding theorem | GZTT6FT18G | statement | none |
| Faltings's theorem | H0DB07WM20 | statement | none |
| Focal subgroup theorem | H1BSG0J5G1 | statement | none |
| Jacobian criterion | H1CZXMZ6HE | statement | none |
| Layer cake representation | H78RXJC1K1 | statement | none |
| Green–Tao theorem | H8BAHWSEMC | statement | none |
| Dvoretzky–Rogers theorem | H924SAD12G | statement | none |
| Berry–Esseen theorem | H9KTH7B380 | statement | none |
| Annulus theorem | HAT8HG0RCK | statement | none |
| Gromov's systolic inequality | HB2K72PSZ6 | statement | none |
| Urysohn metrization theorem | HBFHDH4EJX | statement | none |
| Continuity of measure from below and above | HBHNB63J7R | statement | none |
| Capelli's theorem | HC5NDQ3DTS | statement | none |
| Zariski's main theorem | HCD6W2XK6W | statement | none |
| Structure theorem for Artinian rings | HE7MP4HP6Q | statement | none |
| Lie product formula | HK3BRMK912 | statement | none |
