| Cartan's theorem B | R7VKRV8AGQ | statement | none |
| Hasse–Minkowski theorem | R8HCWA981S | statement | none |
| Frobenius theorem on Cesàro and Abel summability | R8MZAZ6GCR | statement | none |
| Schur complement method | R997ZAD141 | statement | none |
| Cauchy–Fantappiè formula | R9JJ44TMQB | statement | none |
| Thue–Siegel–Roth theorem | R9JZA3G2NX | statement | none |
| Friedberg–Muchnik theorem | RA358M9QCN | statement | none |
| Toeplitz index theorem | RABJ6X1BXC | statement | none |
| Weyl's inequality | RACSNQXDQV | statement | none |
| Dugundji extension theorem | RBDJBK63HX | statement | none |
| Golod–Shafarevich theorem | RC5A5T7YY2 | statement | none |
| Karlin–Rubin theorem | RCASN31FFS | statement | none |
| Gromov's non-squeezing theorem | RDX55HQ3XT | statement | none |
| Jordan–Zassenhaus theorem | RDZGJ21WRX | statement | none |
| Fundamental identity for ramification and inertia | REJDQ6BTQV | statement | none |
| Gauss–Jacobi quadrature | RFA8HAEW9D | statement | none |
| Euler's theorem in geometry | RFCQT6TKZF | statement | none |
| Bing metrization theorem | RGCZ2P9QRM | statement | none |
| Whitney extension theorem | RH2EZGYGAW | statement | none |
| Graeffe's method | RHPQG175AH | statement | none |
| Beeman's algorithm | RHQ88QD2BE | statement | none |
| Knaster–Tarski theorem | RHXP3HA64M | statement | none |
| Beth definability theorem | RJBDSA2ETP | statement | none |
| Jensen's covering theorem | RJE1W5NRE3 | statement | none |
| Heun's method | RJEK60G28F | statement | none |
| Fundamental convergence theorem | RJK6ZKNF6R | statement | none |
| Ramanujan's 1psi1 summation | RK6DCJVJCR | statement | none |
| Dirichlet's principle | RKK3XHG4MR | statement | none |
| Mackey–Arens theorem | RKKWS7CDNF | statement | none |
| Fermat's principle | RKX9XJ0RVW | statement | none |
| Analyticity of the bilateral Laplace transform of a law | RMXW3D9XZ3 | statement | none |
| Gelfond–Schneider theorem | RN58Z2NWAC | statement | none |
| Sokhotski–Plemelj theorem | RNB6QX0GCA | statement | none |
| Halley's method | RPME2B5MS2 | statement | none |
| Mellin transform of a power times a function | RPQNSM5HKC | statement | none |
| Law of the iterated logarithm | RQJC67S0QJ | statement | none |
| Mazur's torsion theorem | RQS6YHAR8N | statement | none |
| Gromov's theorem on groups of polynomial growth | RSBFHHPTWX | statement | none |
| Krein–Milman theorem | RSRAY0Q68S | statement | none |
| Clifford's theorem on special divisors | RSW29AVKGM | statement | none |
| Apéry's theorem | RT5MJT6CTB | statement | none |
| Petrov–Galerkin method | RTBJM23ETS | statement | none |
| Almgren's regularity theorem | RV6PWJBH5P | statement | none |
| Carleman's condition | RVZ831CNYW | statement | none |
| Lebesgue constants of the Dirichlet kernel | RWKQ5EP4YF | statement | none |
| Serre's modularity conjecture | RWXXNZNQYJ | statement | none |
| Fundamental theorem of calculus for Lebesgue integrals | RX7JSHMP8Z | statement | none |
| Bluestein's FFT algorithm | RY3QGW87HX | statement | none |
| Kurosh subgroup theorem | RY8K5RQJSR | statement | none |
| Euler's theorem on normal curvatures | RYB4DQTAK0 | statement | none |
| Adjunction formula | RYB6F7JFGV | statement | none |
| Calderón–Zygmund estimates | RYQJH4RYB4 | statement | none |
| An infinite product converges iff its series of logarithms converges | RZKC8B00HZ | statement | none |
| Cramér's theorem | RZZK51CXMN | statement | none |
| Seifert–van Kampen theorem | S17DY98VF2 | statement | none |
| Erdős–Rado theorem | S1BHE358VX | statement | none |
| Oka principle | S1CJV1PA3D | statement | none |
| Uncertainty principle in Fourier analysis | S1FB2K14NV | statement | none |
| Kirchhoff's matrix tree theorem | S1PG1N2VEX | statement | none |
| Minlos theorem | S2J9CBPJ0V | statement | none |
| Hopf's formula | S31M1ZYJRK | statement | none |
| Zero divisors are the union of associated primes | S37DQGW3TZ | statement | none |
| Silverman–Toeplitz theorem | S4J7SRPXMZ | statement | none |
| Stone's representation theorem for Boolean algebras | S4QJ395PA5 | statement | none |
| Rankine–Hugoniot conditions | S4XMYJ3V42 | statement | none |
| Unique factorization of ideals in a Dedekind domain | S6PHT75MEK | statement | none |
| Hardy's inequality | S7A8YFGG8X | statement | none |
| Bidiagonalization | S7MC88TW6W | statement | none |
| Selberg integral | S8VTVSJ6EX | statement | none |
| Chebyshev's sum inequality | S8X2N1DW8P | statement | none |
| Fatou's lemma | S95TR54TCG | statement | none |
| Fast Fourier transform | S966EZX3ZT | statement | none |
| Muckenhoupt's theorem | S9BKNBRV4H | statement | none |
| Lambek's lemma | S9FVESJ0CS | statement | none |
| Kummer's transformation | S9VTAYV1VJ | statement | none |
| Priestley duality | SA22SEC75K | statement | none |
| Clifford theory | SAH4PD2J9T | statement | none |
| Lebesgue differentiation theorem | SAZ0ESVBVP | statement | none |
| Denjoy–Carleman–Ahlfors theorem | SB55PWPRH2 | statement | none |
| Weyl–von Neumann theorem | SB8PFJCJBC | statement | none |
| Ladyzhenskaya–Babuška–Brezzi condition | SC5FV3GHV5 | statement | none |
| Shoelace formula | SDHZRWMSTT | statement | none |
| Shafarevich's theorem on solvable Galois groups | SDV692Z915 | statement | none |
| Hölder's theorem | SF3X43X837 | statement | none |
| Excision theorem | SGHMSBHHA0 | statement | none |
| Cayley–Hamilton theorem for modules | SH3R5VTMZH | statement | none |
| Linearity of the Laplace transform | SHX9JPKJBE | statement | none |
| Krull's principal ideal theorem | SJZW2HN1SC | statement | none |
| Euler–Gauss limit formula | SKRP9NDXR4 | statement | none |
| Lefschetz principle | SKTMN14X5P | statement | none |
| Whitney immersion theorem | SNZTKKN3GP | statement | none |
| Wang's finiteness theorem | SP421Y498C | statement | none |
| Segre's theorem | SPFP3GHVYJ | statement | none |
| Auslander–Buchsbaum formula | SQB74J5E8Q | statement | none |
| Equioscillation theorem | SRW9PD2RSA | statement | none |
| Pitman–Koopman–Darmois theorem | SSFSDQX8RR | statement | none |
| Whitney's theorem on folds and cusps | SSWFTA4GP8 | statement | none |
| Wiener's criterion | STMT1K1865 | statement | none |
| Boolean prime ideal theorem | STPBXBKSZP | statement | none |
| Moise's theorem | SV0816DJP9 | statement | none |
| Pairwise summation | SVSVMWA9NQ | statement | none |
| Burkholder–Davis–Gundy inequality | SWHVQD9YEB | statement | none |
| Doob–Meyer decomposition theorem | SX7ZPP72EM | statement | none |
| Resolvent as Laplace transform of a semigroup | SXNWHN2C01 | statement | none |
| Commutativity of convolution | SY0TJ4NCES | statement | none |
| Decay of the Fourier transform of surface measure | SYP1ATSTTH | statement | none |
| Bogomolov–Miyaoka–Yau inequality | SYSVE5P1YN | statement | none |
| Lusternik–Schnirelmann theorem | SYVXQQK57V | statement | none |
| Kantorovich–Rubinstein duality | SYXSZD8EFK | statement | none |
| Szegő's theorem | SZ8ARMDEMY | statement | none |
| Liouville's theorem for planar harmonic functions | T12FSF2J2V | statement | none |
| Resolvent equation for kernels | T26WGV2PQW | statement | none |
| Gauss's law for potentials | T2CYAYF0MT | statement | none |
| Dimension of a polynomial ring | T35XFF5AY3 | statement | none |
| Sylvester–Gallai theorem | T3GGJN70P2 | statement | none |
| Reidemeister's theorem | T3HAGWYKK7 | statement | none |
| Alexander's theorem on proper self-maps of the ball | T3VN45KV0D | statement | none |
| Nerve theorem | T4MTXNJJ3Q | statement | none |
| Gelfand's spectral radius formula | T4RFYT8HDN | statement | none |
| Recurrence relations for Bessel functions | T4VP5QTQK6 | statement | none |
| Fourier inversion theorem | T4Z8YQZKZV | statement | none |
| Monotone cubic interpolation | T53N88Y21J | statement | none |
| Verification theorem | T5BEKMG5W8 | statement | none |
| Barbier's theorem | T5D9RSE0X2 | statement | none |
| Gårding's inequality | T5MDFAZ0H6 | statement | none |
| Baouendi–Trèves approximation theorem | T5VW3PE7TZ | statement | none |
| Ambrose–Singer theorem | T61AW674XD | statement | none |
| Maximum principle for harmonic functions | T62HHSRHP5 | statement | none |
| Right adjoints preserve limits | T6A7JK3J98 | statement | none |
| Mather's stability theorem | T6BK8Q8PK8 | statement | none |
| Descartes' rule of signs | T6DQQ36JZ5 | statement | none |
| Equivariant index theorem | T866256Y1W | statement | none |
| Bruhat decomposition | T91E86D0RH | statement | none |
| Szpilrajn extension theorem | T9CJHV6JW3 | statement | none |
| Abian–Brown theorem | TAHM74ZNWB | statement | none |
| Kawamata–Viehweg vanishing theorem | TAMCTW7SA0 | statement | none |
| Krull's height theorem | TBRTZMHFTV | statement | none |
| Foster's theorem on primal algebras | TCD8SZW95Z | statement | none |
| Peixoto's theorem | TDCY8TASCS | statement | none |
| Abel inversion formula | TDMXFY06A2 | statement | none |
| Kaplansky density theorem | TDTMMY7RK1 | statement | none |
| Hirzebruch signature theorem | TEG1ZX1AGJ | statement | none |
| Chevalley's theorem on constructible sets | TGN01264C4 | statement | none |
| Levenberg–Marquardt algorithm | TH54SPVN1N | statement | none |
| Siu's semicontinuity theorem | THSVFE7YER | statement | none |
| Paley–Wiener theorem | THY12GPZ8C | statement | none |
| Lichnerowicz–Obata eigenvalue theorem | TK1PT9FDV0 | statement | none |
| Schur product theorem | TM1RE1G7JK | statement | none |
| Löwner–John theorem | TM5SYH4XHY | statement | none |
| Borel density theorem | TM8PYTBT6Y | statement | none |
