| Gradient points in the direction of steepest ascent | 0ZC78099PA | statement | none |
| Orbits partition the set | 0ZC7FYE0NZ | statement | none |
| g to the order of the group is the identity | 0ZEPNS9BXK | statement | none |
| Universal property of the quotient space | 0ZERJX6PH6 | statement | none |
| Transfinite induction | 0ZHQMQ2C1N | statement | none |
| Canonical isomorphism with the double dual | 0ZJM9D7NPS | statement | none |
| Absorption law | 0ZKZBJPG2J | statement | none |
| Path-connected spaces are connected | 0ZMT1GP4KM | statement | none |
| First isomorphism theorem for rings | 0ZMYX7GMH0 | statement | none |
| Determinant of a 2 by 2 matrix | 0ZN2J42SK7 | statement | none |
| K(a) is isomorphic to K[x] modulo the minimal polynomial | 0ZN39QDTP9 | statement | none |
| p-series test | 0ZNSSK8ZK1 | statement | none |
| Matrix of the dual map is the transpose | 0ZPB3180AY | statement | none |
| Tower law for indices | 0ZQJ7KEFQ5 | statement | none |
| The logarithm is strictly concave | 0ZS54B9GJF | statement | none |
| Intersection of subgroups is a subgroup | 0ZTGMDNVTB | statement | none |
| Uniqueness of limits | 0ZXJ2455NJ | statement | none |
| Second supplement to quadratic reciprocity | 0ZXW95S44M | statement | none |
| Determinant of a transpose | 0ZZQ2E1MTE | statement | none |
| Doob's upcrossing inequality | 10HFW1GRV2 | statement | none |
| Stationary phase approximation | 119J1Q1MG9 | statement | none |
| Homotopy lifting for covering maps | 11FFYBNF0E | statement | none |
| Willmore conjecture | 11MYA5W3KT | statement | none |
| Weierstrass factorization theorem | 11VC51YHQJ | statement | none |
| Rokhlin's theorem | 12BXVH5W5H | statement | none |
| Huisken's theorem on convex hypersurfaces | 14RHHMGF2D | statement | none |
| Hales–Jewett theorem | 14SGZ5HA4Y | statement | none |
| Ryll-Nardzewski theorem | 1513J40TKA | statement | none |
| Beta function in terms of the gamma function | 151RG1JCGB | statement | none |
| Nakayama's lemma | 15JHBYR6KH | statement | none |
| Abel–Ruffini theorem | 163A2WQQJX | statement | none |
| Abelian theorems for integral transforms | 16W9PP8ET0 | statement | none |
| Liénard's theorem | 178GG6TXKQ | statement | none |
| Spectral theorem for unbounded self-adjoint operators | 18KPYRRPZY | statement | none |
| Artin approximation theorem | 1AFTCHDDFE | statement | none |
| Wagner's theorem | 1B2ZJPVV03 | statement | none |
| Banach–Alaoglu theorem | 1BXEJXQ2YT | statement | none |
| Heaviside expansion theorem | 1CW7Q8QH3N | statement | none |
| Dirichlet's unit theorem | 1D99CSKX6N | statement | none |
| Krylov–Bogolyubov theorem | 1DHZ81S0YE | statement | none |
| Bernstein–von Mises theorem | 1E8QNK0Q92 | statement | none |
| Gauss's hypergeometric theorem | 1FC0T0GCCX | statement | none |
| Enriques–Kodaira classification | 1GVF19KFAK | statement | none |
| Regular local rings are UFDs | 1HD3EK5392 | statement | none |
| Evans's theorem on word problems | 1HTSJ6A4D2 | statement | none |
| Giroux correspondence | 1HTW0F4ZZ7 | statement | none |
| Fundamental strip of a Mellin transform | 1JAA21FHHQ | statement | none |
| Cramér–Rao bound | 1JFKTEQVRX | statement | none |
| Fourier transform on Schwartz space | 1JXFTBBK6D | statement | none |
| Base change theorems | 1NC789DATR | statement | none |
| Poincaré's theorem that the ball and polydisc are not biholomorphic | 1NF8T07H9X | statement | none |
| Compactness theorem | 1NR3HAWG9D | statement | none |
| Stone–Weierstrass theorem | 1P8D3MK79H | statement | none |
| Pettis measurability theorem | 1P9ZR606JN | statement | none |
| Birkhoff–Grothendieck theorem | 1PFE27B2MG | statement | none |
| Krull intersection theorem | 1Q1AH2V41S | statement | none |
| Szegő recurrence and Verblunsky coefficients | 1RP3NVGNA6 | statement | none |
| Arakelyan's theorem | 1S20A3R659 | statement | none |
| Robinson–Schensted correspondence | 1SCF8X47G1 | statement | none |
| Cap set problem | 1SF8Y9M8YB | statement | none |
| Huygens principle | 1SH2WZVZ66 | statement | none |
| Derivation of the conjugate gradient method | 1SYY57DCWT | statement | none |
| Minkowski bound | 1TQ2F9CFVE | statement | none |
| Clarkson's inequalities | 1V11QM5C07 | statement | none |
| Conformal invariance of harmonic functions | 1VGB63K5HS | statement | none |
| Holmgren's uniqueness theorem | 1VVKF0Y19B | statement | none |
| Cuthill–McKee algorithm | 1X0E3JHCH9 | statement | none |
| Cartan–Thullen theorem | 1XCBCB3MD7 | statement | none |
| Saccheri–Legendre theorem | 1Y2XK0QJDX | statement | none |
| Lebesgue's theorem on differentiability of monotone functions | 1Y4N1DDQNR | statement | none |
| Loewner's torus inequality | 1Y9X1YW6GH | statement | none |
| Favard's theorem | 1YADG8ESHY | statement | none |
| Newton–Kantorovich theorem | 1YDR94WQMZ | statement | none |
| Local index theorem | 1YKCH218MN | statement | none |
| Lickorish–Wallace theorem | 1YP4RF1QXV | statement | none |
| Continuous additive functions are linear | 1Z0105QF2Q | statement | none |
| Radon–Nikodym theorem | 1ZSZS5G1Q4 | statement | none |
| Berger's classification of holonomy groups | 20GTNPF5V6 | statement | none |
| Shell theorem | 20SAJR6J3Y | statement | none |
| Paley–Zygmund inequality | 211PJYW8W6 | statement | none |
| Zassenhaus lemma | 21JJ523V95 | statement | none |
| Ergodic decomposition | 21RJ8035KP | statement | none |
| Jung's theorem | 227ERQ43PY | statement | none |
| Weyl character formula for compact groups | 230F5FXPMQ | statement | none |
| Nonexistence of infinite-dimensional Lebesgue measure | 23DM2PQC78 | statement | none |
| Fundamental theorem of Γ-convergence | 23RK8EZ20P | statement | none |
| Thom's classification of elementary catastrophes | 23RVD8K8RB | statement | none |
| Cohn's irreducibility criterion | 246SBC2M2N | statement | none |
| Expansion of iterated differences in shifts | 24D1EGHP4G | statement | none |
| Conjugate residual method | 24YCKE2RPH | statement | none |
| Schur test | 25HF1WPPKX | statement | none |
| Ball's existence theorem in nonlinear elasticity | 269C7M56G5 | statement | none |
| Holomorphic inverse function theorem | 282MQP4X82 | statement | none |
| Minimal curvature property of natural cubic splines | 28C5WWGX9J | statement | none |
| Malgrange preparation theorem | 2A5HZZRGFT | statement | none |
| Osgood uniqueness criterion | 2AHNVSH76M | statement | none |
| Grätzer–Schmidt theorem | 2BZ2ZXH03B | statement | none |
| Artin's induction theorem | 2CABBY4EEB | statement | none |
| Grauert's Oka principle for vector bundles | 2CVH8BCHTF | statement | none |
| Koksma–Hlawka inequality | 2DSN343YYW | statement | none |
| Martingale representation theorem | 2E8MQXDYNV | statement | none |
| Darboux's theorem on additive functions bounded on an interval | 2F30ZHN1RT | statement | none |
| Von Neumann's theorem on self-adjoint extensions | 2FE4P23NVC | statement | none |
| Phragmén–Lindelöf principle for subharmonic functions | 2GQKS3B3X0 | statement | none |
| Whitney embedding theorem | 2GSRBDT96M | statement | none |
| Garden of Eden theorem | 2H1XHWDACH | statement | none |
| Itô's lemma | 2J1RVQB0CM | statement | none |
| Hopf–Lax formula | 2JD72JT9FQ | statement | none |
| Weyl's law | 2JK9YMZV2B | statement | none |
| Inverse transform sampling | 2KX7W1TG7T | statement | none |
| Matrix Wiener–Hopf factorization | 2M672PP7QR | statement | none |
| Eberlein–Šmulian theorem | 2MTN8CQWME | statement | none |
| Poncelet–Steiner theorem | 2P0DP2TK6P | statement | none |
| Lempert's theorem on convex domains | 2PANNSQ3G6 | statement | none |
| Parallel postulate | 2PC3XY0PYZ | statement | none |
| Uniqueness of adjoints | 2PEH9MPTAR | statement | none |
| Bulirsch–Stoer algorithm | 2PJECK6ZGW | statement | none |
| Hahn decomposition theorem | 2PKHANZ8JS | statement | none |
| Ziggurat algorithm | 2PSDHH34BJ | statement | none |
| Elliptic regularity | 2PVQY9PCT4 | statement | none |
| Steinitz's theorem | 2PYAZX5VD4 | statement | none |
| Jordan–Brouwer separation theorem | 2Q008XWQDE | statement | none |
| Classification of surfaces | 2SFM73YET0 | statement | none |
| Holomorphic functions on compact complex manifolds are constant | 2SM64J81YC | statement | none |
| Ohsawa–Takegoshi extension theorem | 2SRQCEB16J | statement | none |
| Monotone class theorem | 2T33SA540E | statement | none |
| Hankel contour integral for the gamma function | 2V0TG9Z3ZW | statement | none |
| Beurling's theorem | 2V1DXXM9FA | statement | none |
| Matlis duality | 2V9BR5XX6A | statement | none |
| Namioka--Phelps | 2VQDK71A27 | statement | none |
| Mac Lane's coherence theorem | 2W2X7EBG2S | statement | none |
| Z* theorem | 2XCJ8NNMXP | statement | none |
| Benamou–Brenier formula | 2XYQRM1NFH | statement | none |
| Cartan formula | 2YPJ39STQM | statement | none |
| von Neumann stability analysis | 2Z7NASDQB6 | statement | none |
| Wold's decomposition theorem | 2ZK4CE9MF8 | statement | none |
| Schwartz kernel theorem | 2ZKWZ0A4MT | statement | none |
| Kirszbraun theorem | 2ZM39HSFTQ | statement | none |
| Lyapunov's convexity theorem | 2ZTQX5M0TK | statement | none |
| Artin–Rees lemma | 30H6B0G2FT | statement | none |
| Stein's unbiased risk estimate | 30XVCMK916 | statement | none |
| Malgrange–Ehrenpreis theorem | 3173Y813V7 | statement | none |
| Demailly's regularization of currents | 31CV5K5SAJ | statement | none |
| Cauchy integral on Lipschitz curves | 31DQH72ZJP | statement | none |
| Jones index theorem | 31N0FH22ZT | statement | none |
| De Giorgi–Nash–Moser theorem | 32C3D8FG9V | statement | none |
| Cauchy–Pompeiu formula | 345DJTSPHM | statement | none |
| Crossing number inequality | 34B1PW5EE2 | statement | none |
| Donaldson's theorem | 34B7K77P31 | statement | none |
| Remmert–Stein theorem | 34PT0GE8RA | statement | none |
