| LOBPCG | P1ECPTAG8F | statement | none |
| Propagation of singularities | P2QJ7NPW3Y | statement | none |
| Feit–Higman theorem | P2V0XS4F63 | statement | none |
| Lie's theorems on transformation groups | P43WKB4372 | statement | none |
| Wirtinger presentation | P6GR8ZQCK3 | statement | none |
| Grothendieck–Lefschetz trace formula | P6QD6TKAGS | statement | none |
| Lie's third theorem | P6QNEK44RX | statement | none |
| Margulis lemma | P6WSG7DT4Q | statement | none |
| Characterizations of Galois extensions | P75CXH2Q2B | statement | none |
| Higman embedding theorem | P7TZ694FCM | statement | none |
| Jentzsch's theorem on positive kernels | P8CAK0FHGJ | statement | none |
| Lorentz's characterization of almost convergence | P8TMYNPSYD | statement | none |
| Löwner's theorem | PA7ZQ6C6SP | statement | none |
| Tucker's lemma | PADZ7D9KBT | statement | none |
| Grauert's theorem on real analytic manifolds | PAG39H901E | statement | none |
| Frobenius reciprocity | PAP76H0ND9 | statement | none |
| Muirhead's inequality | PBPFVY20WT | statement | none |
| Bessel's integral | PCE6XQTT6R | statement | none |
| Poisson integral formula | PCZBE7EX01 | statement | none |
| CW approximation | PDFK69ZMST | statement | none |
| Bishop–Phelps theorem | PDVJTYCK8F | statement | none |
| Chebyshev iteration | PE5H892XVS | statement | none |
| Noether's second theorem | PEDD2CP5PF | statement | none |
| Catmull–Clark subdivision surface | PF5Z57DDG2 | statement | none |
| Bruhat decomposition of a Lie group | PG1CVVN7KA | statement | none |
| Kneser's theorem on solution sets | PG8ZH3ZQ88 | statement | none |
| Nörlund–Rice integral | PGMNNRN5YN | statement | none |
| Christodoulou–Klainerman stability of Minkowski space | PH4Z47SCK6 | statement | none |
| Inverse Z-transform | PH61T3B7W7 | statement | none |
| Ax–Kochen theorem | PHT3TJCS90 | statement | none |
| Parametric transversality theorem | PJ4DQ435XK | statement | none |
| M. Riesz theorem on the Hilbert transform | PJFH51Z48M | statement | none |
| Mercer's theorem | PKGADWXPYH | statement | none |
| Nielsen–Thurston classification | PKP7RVAZK6 | statement | none |
| Atiyah–Bott fixed-point theorem | PKS8JE1PW1 | statement | none |
| Petersen's theorem | PMGTV643X1 | statement | none |
| Littlewood subordination theorem | PMMXG4Q8JR | statement | none |
| Pentagonal number theorem | PMYDHW00KF | statement | none |
| Liouville–Arnold theorem | PNQCW85HTJ | statement | none |
| Positive definiteness of the energy | PNZT35FFN2 | statement | none |
| Quadratic transformations of hypergeometric functions | PPTD47MP45 | statement | none |
| Equivalence of Boolean rings and Boolean algebras | PQEPV7F2RV | statement | none |
| von Neumann mean ergodic theorem | PQPDQCCD02 | statement | none |
| Playfair's axiom | PR7Q3QMEHZ | statement | none |
| Tian–Todorov theorem | PRC4WH5WYJ | statement | none |
| Alexander's theorem on closed braids | PRWP1JF486 | statement | none |
| Descartes's theorem on total angular defect | PT67C5ANSD | statement | none |
| Grauert's solution of the Levi problem for manifolds | PVA1QJVS2E | statement | none |
| Levy–Desplanques theorem | PWKN6ANA0G | statement | none |
| Dahlberg's theorem on harmonic measure | PXPC6E40ZW | statement | none |
| Normal basis theorem | PXY1WYNRD4 | statement | none |
| Dold–Kan correspondence | PY4EWJ8BQA | statement | none |
| Nekhoroshev estimates | PYEN6SFS9P | statement | none |
| Boundary Harnack principle | PYJ7T889KC | statement | none |
| Positive mass theorem | PYRPXHNQTB | statement | none |
| Quintuple product identity | PZR6RC79ED | statement | none |
| Schwartz impossibility theorem | Q0C1H111EN | statement | none |
| Error bound for the trapezoidal rule | Q0M7PT9VN2 | statement | none |
| Stationary-action principle | Q104C67P26 | statement | none |
| Shilnikov theorem | Q134D9EMAZ | statement | none |
| Kissing number problem in three dimensions | Q1H6BCKTBE | statement | none |
| Dual of Lp | Q1V7ZNS332 | statement | none |
| Duhamel's principle | Q28DM6ZCMF | statement | none |
| de Bruijn–Erdős theorem | Q2D88XQKGX | statement | none |
| Fatou's theorem | Q2N917JQ6A | statement | none |
| Incomparability theorem | Q2XBHJ96GV | statement | none |
| Householder's method | Q390KATZ87 | statement | none |
| Peetre theorem on local operators | Q3X1CNXASD | statement | none |
| Dunford–Pettis theorem | Q3Y1HBD8NN | statement | none |
| Krein's condition | Q401KCEKNZ | statement | none |
| Morrey's lower semicontinuity theorem | Q43RD1GK8G | statement | none |
| Littlewood–Richardson rule | Q490XBH1Q2 | statement | none |
| Newton–Gregory forward formula | Q4YAST023H | statement | none |
| Riemannian Penrose inequality | Q5EWVTA2RW | statement | none |
| Hahn–Mazurkiewicz theorem | Q5QFYKD004 | statement | none |
| Property P conjecture | Q630X0VHAE | statement | none |
| Korovkin's theorem | Q6KCF4688J | statement | none |
| Spectral mapping theorem for polynomials | Q71WX8HFYT | statement | none |
| Surgery exact sequence | Q7C480HQ9J | statement | none |
| Denjoy theorem on rotation number | Q7GKAMT3P9 | statement | none |
| Lagrange multipliers on Banach spaces | Q7QK3PF806 | statement | none |
| Lévy–Khintchine representation | Q82B4H4Z4J | statement | none |
| Snake lemma | Q8AYGD93CW | statement | none |
| Carathéodory's extension theorem | Q8EXG7EKYW | statement | none |
| Banach–Stone theorem | Q8FERXTZ8B | statement | none |
| Gödel's consistency of CH and AC | Q9176JRJ5M | statement | none |
| Coifman–Rochberg–Weiss commutator theorem | Q9D5TDRBEF | statement | none |
| Rubio de Francia extrapolation theorem | QADCFWETJC | statement | none |
| Murray–von Neumann classification of factors | QAWDC7SWKC | statement | none |
| Hahn–Banach theorem | QB5AE3VYZZ | statement | none |
| Dixon's identity | QC4TP5D6HE | statement | none |
| Banach–Mazur theorem | QC5MB5WM8F | statement | none |
| Hopf–Rinow theorem | QCCD2JNFBT | statement | none |
| Generic smoothness | QCYZRQX7QG | statement | none |
| Lidskii's theorem | QD23PJR6RP | statement | none |
| Frobenius theorem on real division algebras | QDJ7PQE9SW | statement | none |
| Structure theorem for compactly generated LCA groups | QDWNHEQJRK | statement | none |
| Van der Corput lemma | QDXR02419M | statement | none |
| Green's identities | QDXXWA1QGF | statement | none |
| Allard regularity theorem | QDZ6DM42EB | statement | none |
| Scaling rule for the Laplace transform | QE2PT4TNDC | statement | none |
| Narasimhan lemma | QEEZEDBZ50 | statement | none |
| Rademacher's theorem | QEY26RT19R | statement | none |
| Blakers–Massey theorem | QF764XKBA3 | statement | none |
| Bohr–Mollerup theorem | QFF87AXWN2 | statement | none |
| Poles of the gamma function | QFPFF15PXC | statement | none |
| Tannaka–Krein duality | QGPAB6AS9F | statement | none |
| Levitzki's theorem | QHD4KJYFSA | statement | none |
| Borsuk–Ulam theorem | QHJ0GBQE2E | statement | none |
| Rogers' bound | QHPXB39SN7 | statement | none |
| Gysin sequence | QJSPWM9F9P | statement | none |
| First main theorem of Nevanlinna theory | QJWCFAK4AK | statement | none |
| Liouville's theorem for harmonic functions | QK1KWYZNRD | statement | none |
| Coarea formula | QK55379SXW | statement | none |
| Ky Fan minimax inequality | QM2EBW5CD9 | statement | none |
| Weyl integration formula | QMH530N27M | statement | none |
| Mather–Yau theorem | QMMSKHEW9S | statement | none |
| Moore–Osgood theorem | QN2210XCST | statement | none |
| Whipple's transformation | QNGGCTXK9S | statement | none |
| Cartan's magic formula | QP8B74828C | statement | none |
| Gentzen's consistency proof | QPV0HNP22S | statement | none |
| Schreier refinement theorem | QQAWHC9X60 | statement | none |
| Variation of parameters for difference equations | QQFYC988SJ | statement | none |
| Lehmann–Scheffé theorem | QQZPWDWS29 | statement | none |
| Jordan curve theorem for polygons | QS9PG4MNTR | statement | none |
| Lenagan's theorem | QSK2J5HEER | statement | none |
| John–Nirenberg inequality | QTSJT4JZXT | statement | none |
| Pontryagin duality theorem | QTVC6F2P9D | statement | none |
| Iterative refinement | QTVP4WP1XX | statement | none |
| Removable sets for bounded harmonic functions | QTX0GBZMT8 | statement | none |
| Cheeger–Gromoll splitting theorem | QV75TT6131 | statement | none |
| Sanov's theorem | QWEF2WAXJM | statement | none |
| Nonemptiness of the spectrum | QWQC5SV0SD | statement | none |
| Addition formulas for Jacobi elliptic functions | QWSRBJ1G1E | statement | none |
| Solvability of x^n - a | QWXD1Z9V8F | statement | none |
| Frankel conjecture | QWXTB8VVXN | statement | none |
| Castelnuovo's rationality criterion | QXHMMQX1D7 | statement | none |
| Convolution theorem | QY8ETVDA1Z | statement | none |
| Feichtinger conjecture | QYQ983Z0BK | statement | none |
| Cartan's classification of bounded symmetric domains | QYVY3DV9K4 | statement | none |
| Tits alternative | QYXGVES1XM | statement | none |
| Valuative criterion | QZN6P7AG33 | statement | none |
| Hilbert's syzygy theorem | R0DSZPRG6T | statement | none |
| Artin–Wedderburn theorem | R1F271180N | statement | none |
| Marcinkiewicz interpolation theorem | R1PHMVBJ9J | statement | none |
| Rejection sampling | R1QBNFTHFP | statement | none |
| Picard's little theorem | R2PHM118NG | statement | none |
| Liouville's theorems on elliptic functions | R32HEEN55K | statement | none |
| Bruck–Ryser–Chowla theorem | R43K0GTTDS | statement | none |
| Sturm's theorem | R44CV0KD9T | statement | none |
