| 1 |
Pythagorean theorem |
8,719 |
 |
| 2 |
Bayes' theorem |
3,580 |
 |
| 3 |
Euler's formula |
3,559 |
 |
| 4 |
Fermat's Last Theorem |
3,327 |
 |
| 5 |
Binomial theorem |
3,232 |
 |
| 6 |
Central limit theorem |
2,696 |
 |
| 7 |
L'Hôpital's rule |
2,179 |
 |
| 8 |
Gödel's incompleteness theorems |
1,949 |
 |
| 9 |
Nyquist–Shannon sampling theorem |
1,772 |
 |
| 10 |
Fundamental theorem of calculus |
1,629 |
 |
| 11 |
Poincaré conjecture |
1,586 |
 |
| 12 |
Infinite monkey theorem |
1,424 |
 |
| 13 |
Cramer's rule |
1,410 |
 |
| 14 |
Divergence theorem |
1,153 |
 |
| 15 |
Compact space |
1,108 |
 |
| 16 |
Taylor's theorem |
1,094 |
 |
| 17 |
Mean value theorem |
1,030 |
 |
| 18 |
Heron's formula |
1,028 |
 |
| 19 |
Four color theorem |
1,026 |
 |
| 20 |
Intermediate value theorem |
985 |
 |
| 21 |
Stokes' theorem |
929 |
 |
| 22 |
Squeeze theorem |
897 |
 |
| 23 |
Banach–Tarski paradox |
852 |
 |
| 24 |
Pigeonhole principle |
833 |
 |
| 25 |
Green's theorem |
825 |
 |
| 26 |
Chinese remainder theorem |
774 |
 |
| 27 |
De Moivre's formula |
731 |
 |
| 28 |
Implicit and explicit functions |
726 |
 |
| 29 |
Prime number theorem |
702 |
 |
| 30 |
Fundamental theorem of algebra |
697 |
 |
| 31 |
Cantor's diagonal argument |
691 |
 |
| 32 |
Fundamental theorem of arithmetic |
661 |
 |
| 33 |
Copula (statistics) |
656 |
 |
| 34 |
Fermat's little theorem |
567 |
 |
| 35 |
Master theorem |
527 |
 |
| 36 |
Euler's theorem |
489 |
 |
| 37 |
Shannon–Hartley theorem |
462 |
 |
| 38 |
Spectral theorem |
455 |
 |
| 39 |
Solution of the Poincaré conjecture |
450 |
 |
| 40 |
Bolzano–Weierstrass theorem |
406 |
 |
| 41 |
Rolle's theorem |
404 |
 |
| 42 |
Residue theorem |
394 |
 |
| 43 |
Parseval's theorem |
381 |
 |
| 44 |
Cauchy's integral formula |
380 |
 |
| 45 |
Convolution theorem |
378 |
 |
| 46 |
Implicit function theorem |
375 |
 |
| 47 |
Lagrange's theorem (group theory) |
373 |
 |
| 48 |
Division algorithm |
363 |
 |
| 49 |
Wiles' proof of Fermat's Last Theorem |
361 |
 |
| 50 |
Monotone convergence theorem |
354 |
 |
| 51 |
Thales' theorem |
337 |
 |
| 52 |
Cayley–Hamilton theorem |
331 |
 |
| 53 |
Dominated convergence theorem |
328 |
 |
| 54 |
Gödel's completeness theorem |
319 |
 |
| 55 |
Fubini's theorem |
315 |
 |
| 56 |
Hairy ball theorem |
305 |
 |
| 57 |
Rational root theorem |
298 |
 |
| 58 |
Max-flow min-cut theorem |
290 |
 |
| 59 |
Cauchy's integral theorem |
287 |
 |
| 60 |
Modularity theorem |
283 |
 |
| 61 |
Brouwer fixed point theorem |
263 |
 |
| 62 |
Löwenheim–Skolem theorem |
262 |
 |
| 63 |
No free lunch in search and optimization |
252 |
 |
| 64 |
Classification of finite simple groups |
251 |
 |
| 65 |
Extreme value theorem |
250 |
 |
| 66 |
Cantor's theorem |
249 |
 |
| 67 |
Riesz representation theorem |
248 |
 |
| 68 |
Quadratic reciprocity |
247 |
 |
| 69 |
Multinomial theorem |
244 |
 |
| 70 |
Polynomial remainder theorem |
243 |
 |
| 71 |
Envelope theorem |
242 |
 |
| 72 |
Derivative rule for inverses |
230 |
 |
| 73 |
Ramsey's theorem |
229 |
 |
| 74 |
Angle bisector theorem |
225 |
 |
| 75 |
Poincaré recurrence theorem |
222 |
 |
| 76 |
Heine–Borel theorem |
217 |
 |
| 77 |
Pick's theorem |
216 |
 |
| 78 |
Descartes' rule of signs |
214 |
 |
| 79 |
Liouville's theorem (Hamiltonian) |
212 |
 |
| 80 |
Perron–Frobenius theorem |
212 |
 |
| 81 |
Lagrange's four-square theorem |
208 |
 |
| 82 |
Stone–Weierstrass theorem |
201 |
 |
| 83 |
Nash embedding theorem |
201 |
 |
| 84 |
Fixed point theorem |
192 |
 |
| 85 |
Fundamental lemma (Langlands program) |
192 |
 |
| 86 |
Picard–Lindelöf theorem |
188 |
 |
| 87 |
Green–Tao theorem |
188 |
 |
| 88 |
Euclid's theorem |
186 |
 |
| 89 |
Banach fixed point theorem |
181 |
 |
| 90 |
Wilson's theorem |
181 |
 |
| 91 |
Noisy-channel coding theorem |
181 |
 |
| 92 |
Final value theorem |
180 |
 |
| 93 |
Sylow theorems |
178 |
 |
| 94 |
Isomorphism theorem |
175 |
 |
| 95 |
Ptolemy's theorem |
174 |
 |
| 96 |
Characterizations of the exponential function |
173 |
 |
| 97 |
Gauss–Bonnet theorem |
167 |
 |
| 98 |
Euler's rotation theorem |
165 |
 |
| 99 |
Factor theorem |
164 |
 |
| 100 |
Herbrand's theorem |
163 |
 |
| 101 |
Radon–Nikodym theorem |
162 |
 |
| 102 |
Hahn–Banach theorem |
161 |
 |
| 103 |
Fermat's theorem on sums of two squares |
159 |
 |
| 104 |
Helmholtz decomposition |
155 |
 |
| 105 |
Gradient theorem |
155 |
 |
| 106 |
Atiyah–Singer index theorem |
154 |
 |
| 107 |
Jordan curve theorem |
152 |
 |
| 108 |
Coupon collector's problem |
151 |
 |
| 109 |
Arzelà–Ascoli theorem |
146 |
 |
| 110 |
Ham sandwich theorem |
144 |
 |
| 111 |
Goodstein's theorem |
139 |
 |
| 112 |
Abel–Ruffini theorem |
139 |
 |
| 113 |
Separating axis theorem |
138 |
 |
| 114 |
Girsanov theorem |
137 |
 |
| 115 |
Sylvester–Gallai theorem |
136 |
 |
| 116 |
Cantor–Bernstein–Schroeder theorem |
132 |
 |
| 117 |
Intercept theorem |
130 |
 |
| 118 |
Tychonoff's theorem |
128 |
 |
| 119 |
Baire category theorem |
127 |
 |
| 120 |
Kruskal's tree theorem |
127 |
 |
| 121 |
Clairaut's theorem |
126 |
 |
| 122 |
Myhill–Nerode theorem |
124 |
 |
| 123 |
Fourier inversion theorem |
123 |
 |
| 124 |
Floquet theory |
123 |
 |
| 125 |
Linear congruence theorem |
122 |
 |
| 126 |
Gibbard–Satterthwaite theorem |
120 |
 |
| 127 |
Fundamental theorem |
119 |
 |
| 128 |
Herbrand–Ribet theorem |
119 |
 |
| 129 |
Spherical law of cosines |
118 |
 |
| 130 |
Bertrand's postulate |
116 |
 |
| 131 |
Pontryagin duality |
115 |
 |
| 132 |
Complex conjugate root theorem |
114 |
 |
| 133 |
Exterior angle theorem |
114 |
 |
| 134 |
Fundamental theorem of linear algebra |
113 |
 |
| 135 |
Wiener–Khinchin theorem |
112 |
 |
| 136 |
Hall's theorem |
110 |
 |
| 137 |
Ceva's theorem |
108 |
 |
| 138 |
Compactness theorem |
107 |
 |
| 139 |
Baire space |
104 |
 |
| 140 |
Pappus's centroid theorem |
103 |
 |
| 141 |
Rice's theorem |
102 |
 |
| 142 |
Pascal's theorem |
102 |
 |
| 143 |
Metrization theorem |
100 |
 |
| 144 |
Lindemann–Weierstrass theorem |
97 |
 |
| 145 |
Shannon's source coding theorem |
97 |
 |
| 146 |
Cayley's theorem |
96 |
 |
| 147 |
Brahmagupta's formula |
96 |
 |
| 148 |
Fermat's theorem (stationary points) |
95 |
 |
| 149 |
Kirchhoff's theorem |
94 |
 |
| 150 |
Spectral graph theory |
93 |
 |
| 151 |
Sturm's theorem |
93 |
 |
| 152 |
Soul theorem |
91 |
 |
| 153 |
Kakutani fixed point theorem |
90 |
 |
| 154 |
König's theorem (graph theory) |
90 |
 |
| 155 |
Varignon's theorem |
90 |
 |
| 156 |
Well-ordering theorem |
89 |
 |
| 157 |
Weil conjectures |
89 |
 |
| 158 |
Kolmogorov–Arnold–Moser theorem |
88 |
 |
| 159 |
Dirichlet's theorem on arithmetic progressions |
88 |
 |
| 160 |
Fermat's Last Theorem in fiction |
88 |
 |
| 161 |
Abel's theorem |
87 |
 |
| 162 |
Liouville's theorem (complex analysis) |
87 |
 |
| 163 |
Plancherel theorem |
87 |
 |
| 164 |
Descartes' theorem |
87 |
 |
| 165 |
Projection-slice theorem |
87 |
 |
| 166 |
Initial value theorem |
87 |
 |
| 167 |
Cauchy's theorem (group theory) |
85 |
 |
| 168 |
Optional stopping theorem |
85 |
 |
| 169 |
Napkin folding problem |
85 |
 |
| 170 |
Dilworth's theorem |
84 |
 |
| 171 |
Riemann–Roch theorem |
83 |
 |
| 172 |
Proof that the sum of the reciprocals of the primes diverges |
82 |
 |
| 173 |
Cook–Levin theorem |
82 |
 |
| 174 |
Apollonius' theorem |
82 |
 |
| 175 |
Five color theorem |
81 |
 |
| 176 |
Akra–Bazzi method |
80 |
 |
| 177 |
Menelaus' theorem |
80 |
 |
| 178 |
Pólya enumeration theorem |
80 |
 |
| 179 |
Szemerédi's theorem |
79 |
 |
| 180 |
Bézout's theorem |
78 |
 |
| 181 |
Riemann series theorem |
78 |
 |
| 182 |
Borsuk–Ulam theorem |
76 |
 |
| 183 |
Gershgorin circle theorem |
76 |
 |
| 184 |
Inscribed angle theorem |
76 |
 |
| 185 |
No free lunch theorem |
74 |
 |
| 186 |
Bloch's theorem |
74 |
 |
| 187 |
Desargues' theorem |
73 |
 |
| 188 |
Uniform boundedness principle |
72 |
 |
| 189 |
Mercer's theorem |
71 |
 |
| 190 |
Deduction theorem |
71 |
 |
| 191 |
Structured program theorem |
71 |
 |
| 192 |
Catalan's conjecture |
70 |
 |
| 193 |
Egorov's theorem |
69 |
 |
| 194 |
Lagrange's theorem |
69 |
 |
| 195 |
Whitney embedding theorem |
68 |
 |
| 196 |
Stone's representation theorem for Boolean algebras |
68 |
 |
| 197 |
Weierstrass factorization theorem |
68 |
 |
| 198 |
Carathéodory's extension theorem |
68 |
 |
| 199 |
Circle packing theorem |
68 |
 |
| 200 |
Lagrange inversion theorem |
67 |
 |
| 201 |
Lefschetz fixed-point theorem |
67 |
 |
| 202 |
Paley–Wiener theorem |
67 |
 |
| 203 |
Stone–von Neumann theorem |
67 |
 |
| 204 |
Picard theorem |
66 |
 |
| 205 |
Poincaré–Bendixson theorem |
66 |
 |
| 206 |
Lusin's theorem |
65 |
 |
| 207 |
Zeckendorf's theorem |
64 |
 |
| 208 |
Rouché's theorem |
63 |
 |
| 209 |
Van der Waerden's theorem |
62 |
 |
| 210 |
Morera's theorem |
61 |
 |
| 211 |
Open mapping theorem (functional analysis) |
61 |
 |
| 212 |
Bieberbach conjecture |
60 |
 |
| 213 |
Analyticity of holomorphic functions |
60 |
 |
| 214 |
Gelfond–Schneider theorem |
59 |
 |
| 215 |
Menger's theorem |
59 |
 |
| 216 |
Pappus's hexagon theorem |
59 |
 |
| 217 |
Binomial inverse theorem |
59 |
 |
| 218 |
Kleene's recursion theorem |
58 |
 |
| 219 |
Artin–Wedderburn theorem |
58 |
 |
| 220 |
CPCTC |
58 |
 |
| 221 |
Erdős–Szekeres theorem |
58 |
 |
| 222 |
Star of David theorem |
58 |
 |
| 223 |
Nested intervals |
58 |
 |
| 224 |
Closed graph theorem |
57 |
 |
| 225 |
Carathéodory's theorem (convex hull) |
57 |
 |
| 226 |
Road coloring problem |
57 |
 |
| 227 |
Hilbert's basis theorem |
56 |
 |
| 228 |
Min-max theorem |
56 |
 |
| 229 |
Fundamental theorem on homomorphisms |
54 |
 |
| 230 |
Minkowski's theorem |
54 |
 |
| 231 |
Crystallographic restriction theorem |
54 |
 |
| 232 |
Martingale representation theorem |
54 |
 |
| 233 |
Peter–Weyl theorem |
51 |
 |
| 234 |
Ribet's theorem |
51 |
 |
| 235 |
Heine–Cantor theorem |
51 |
 |
| 236 |
Feit–Thompson theorem |
51 |
 |
| 237 |
PCP theorem |
51 |
 |
| 238 |
Kolmogorov extension theorem |
50 |
 |
| 239 |
Lagrange's theorem (number theory) |
50 |
 |
| 240 |
Furstenberg's proof of the infinitude of primes |
50 |
 |
| 241 |
Seifert–van Kampen theorem |
49 |
 |
| 242 |
Sylvester's law of inertia |
49 |
 |
| 243 |
Doob–Meyer decomposition theorem |
49 |
 |
| 244 |
Boolean prime ideal theorem |
48 |
 |
| 245 |
Hilbert projection theorem |
48 |
 |
| 246 |
Frobenius theorem |
48 |
 |
| 247 |
Cauchy–Kowalevski theorem |
47 |
 |
| 248 |
Stewart's theorem |
47 |
 |
| 249 |
Choquet theory |
47 |
 |
| 250 |
Uniformization theorem |
46 |
 |
| 251 |
Routh–Hurwitz theorem |
46 |
 |
| 252 |
Sylvester's determinant theorem |
46 |
 |
| 253 |
Peano existence theorem |
46 |
 |
| 254 |
Darboux's theorem (analysis) |
46 |
 |
| 255 |
Principal axis theorem |
46 |
 |
| 256 |
Von Neumann paradox |
46 |
 |
| 257 |
Existence theorem |
45 |
 |
| 258 |
Helly's theorem |
45 |
 |
| 259 |
Fundamental theorem of Galois theory |
45 |
 |
| 260 |
Abelian and tauberian theorems |
44 |
 |
| 261 |
Hinge theorem |
44 |
 |
| 262 |
Hartman–Grobman theorem |
44 |
 |
| 263 |
Tietze extension theorem |
43 |
 |
| 264 |
Frobenius theorem (differential topology) |
43 |
 |
| 265 |
Morley's trisector theorem |
43 |
 |
| 266 |
Theorem on friends and strangers |
43 |
 |
| 267 |
Hirzebruch–Riemann–Roch theorem |
43 |
 |
| 268 |
15 and 290 theorems |
43 |
 |
| 269 |
Codd's theorem |
43 |
 |
| 270 |
Frobenius theorem (real division algebras) |
43 |
 |
| 271 |
Kronecker's theorem |
42 |
 |
| 272 |
Darboux's theorem |
42 |
 |
| 273 |
Lebesgue differentiation theorem |
42 |
 |
| 274 |
Rademacher's theorem |
42 |
 |
| 275 |
Proof of Fermat's Last Theorem for specific exponents |
42 |
 |
| 276 |
Carnot's theorem |
41 |
 |
| 277 |
Bott periodicity theorem |
41 |
 |
| 278 |
Krein–Milman theorem |
41 |
 |
| 279 |
Comparison theorem |
41 |
 |
| 280 |
Lebesgue's density theorem |
41 |
 |
| 281 |
Monotone class theorem |
41 |
 |
| 282 |
Faltings' theorem |
40 |
 |
| 283 |
Grothendieck–Hirzebruch–Riemann–Roch theorem |
40 |
 |
| 284 |
Riesz–Fischer theorem |
40 |
 |
| 285 |
Doob's martingale convergence theorems |
40 |
 |
| 286 |
Jackson's theorem (queueing theory) |
40 |
 |
| 287 |
Identity theorem |
40 |
 |
| 288 |
Helmholtz theorem |
40 |
 |
| 289 |
Künneth theorem |
39 |
 |
| 290 |
Poincaré–Hopf theorem |
39 |
 |
| 291 |
Kolmogorov continuity theorem |
39 |
 |
| 292 |
Gleason's theorem |
39 |
 |
| 293 |
Lucas' theorem |
39 |
 |
| 294 |
Structure theorem for finitely generated modules over a principal ideal domain |
39 |
 |
| 295 |
Robertson–Seymour theorem |
38 |
 |
| 296 |
Dirichlet's unit theorem |
38 |
 |
| 297 |
Sard's theorem |
38 |
 |
| 298 |
Khintchine inequality |
38 |
 |
| 299 |
Time hierarchy theorem |
37 |
 |
| 300 |
Chebotarev's density theorem |
37 |
 |
| 301 |
Dirichlet's theorem |
37 |
 |
| 302 |
Maschke's theorem |
37 |
 |
| 303 |
BEST theorem |
37 |
 |
| 304 |
Frucht's theorem |
37 |
 |
| 305 |
Multiplication theorem |
37 |
 |
| 306 |
Soddy's hexlet |
37 |
 |
| 307 |
Knaster–Tarski theorem |
36 |
 |
| 308 |
Fundamental theorem of Riemannian geometry |
36 |
 |
| 309 |
Hilbert's irreducibility theorem |
36 |
 |
| 310 |
Equal incircles theorem |
36 |
 |
| 311 |
Golod–Shafarevich theorem |
36 |
 |
| 312 |
Universal approximation theorem |
36 |
 |
| 313 |
Chen's theorem |
35 |
 |
| 314 |
Bernstein's theorem |
35 |
 |
| 315 |
Besicovitch covering theorem |
35 |
 |
| 316 |
Carathéodory's existence theorem |
35 |
 |
| 317 |
Planar separator theorem |
35 |
 |
| 318 |
Polynomial function theorems for zeros |
35 |
 |
| 319 |
Bertrand's ballot theorem |
34 |
 |
| 320 |
Brahmagupta theorem |
34 |
 |
| 321 |
Burnside theorem |
34 |
 |
| 322 |
Stolz–Cesàro theorem |
34 |
 |
| 323 |
Cameron–Martin theorem |
34 |
 |
| 324 |
Cantor's intersection theorem |
34 |
 |
| 325 |
Disintegration theorem |
34 |
 |
| 326 |
Viviani's theorem |
34 |
 |
| 327 |
Star height problem |
33 |
 |
| 328 |
Schauder fixed point theorem |
33 |
 |
| 329 |
Bourbaki–Witt theorem |
33 |
 |
| 330 |
Ultraparallel theorem |
33 |
 |
| 331 |
Hardy's theorem |
33 |
 |
| 332 |
Japanese theorem for cyclic polygons |
33 |
 |
| 333 |
Cramér's theorem |
33 |
 |
| 334 |
Marden's theorem |
33 |
 |
| 335 |
Nachbin's theorem |
33 |
 |
| 336 |
Paris–Harrington theorem |
33 |
 |
| 337 |
Vitali convergence theorem |
33 |
 |
| 338 |
Cubic reciprocity |
33 |
 |
| 339 |
Fundamental theorem of cyclic groups |
33 |
 |
| 340 |
Gelfand–Naimark theorem |
32 |
 |
| 341 |
Generalized Gauss–Bonnet theorem |
32 |
 |
| 342 |
Hausdorff paradox |
32 |
 |
| 343 |
Dini's theorem |
32 |
 |
| 344 |
Holland's schema theorem |
32 |
 |
| 345 |
Landau prime ideal theorem |
32 |
 |
| 346 |
Erdős–Kac theorem |
32 |
 |
| 347 |
Koebe quarter theorem |
32 |
 |
| 348 |
Mordell–Weil theorem |
32 |
 |
| 349 |
Invariance of domain |
31 |
 |
| 350 |
Mitchell's embedding theorem |
31 |
 |
| 351 |
Lasker–Noether theorem |
31 |
 |
| 352 |
Brunn–Minkowski theorem |
31 |
 |
| 353 |
Ostrowski's theorem |
31 |
 |
| 354 |
Smith conjecture |
31 |
 |
| 355 |
Sharkovskii's theorem |
30 |
 |
| 356 |
Takens' theorem |
30 |
 |
| 357 |
Kronecker–Weber theorem |
30 |
 |
| 358 |
Hasse–Minkowski theorem |
30 |
 |
| 359 |
Kodaira vanishing theorem |
30 |
 |
| 360 |
Bounded inverse theorem |
30 |
 |
| 361 |
Sokhatsky–Weierstrass theorem |
30 |
 |
| 362 |
Fejér's theorem |
30 |
 |
| 363 |
Pentagonal number theorem |
29 |
 |
| 364 |
Stone duality |
29 |
 |
| 365 |
Savitch's theorem |
29 |
 |
| 366 |
Borel–Weil–Bott theorem |
29 |
 |
| 367 |
Stone's theorem on one-parameter unitary groups |
29 |
 |
| 368 |
Riesz–Thorin theorem |
29 |
 |
| 369 |
Schur's theorem |
29 |
 |
| 370 |
Cauchy's theorem (geometry) |
29 |
 |
| 371 |
Increment theorem |
29 |
 |
| 372 |
Japanese theorem for cyclic quadrilaterals |
29 |
 |
| 373 |
Barbier's theorem |
28 |
 |
| 374 |
Poncelet–Steiner theorem |
28 |
 |
| 375 |
Marcinkiewicz interpolation theorem |
28 |
 |
| 376 |
Fundamental theorem of curves |
28 |
 |
| 377 |
Excision theorem |
28 |
 |
| 378 |
Radon's theorem |
28 |
 |
| 379 |
Tutte theorem |
28 |
 |
| 380 |
Godunov's theorem |
28 |
 |
| 381 |
Kantorovich theorem |
28 |
 |
| 382 |
Hurwitz's theorem |
28 |
 |
| 383 |
Classification theorem |
28 |
 |
| 384 |
Riesz theorem |
28 |
 |
| 385 |
Fermat polygonal number theorem |
27 |
 |
| 386 |
Hurwitz's automorphisms theorem |
27 |
 |
| 387 |
Hadamard three-circle theorem |
27 |
 |
| 388 |
Vector fields on spheres |
27 |
 |
| 389 |
Cauchy–Hadamard theorem |
27 |
 |
| 390 |
Choi's theorem on completely positive maps |
27 |
 |
| 391 |
Euler's theorem in geometry |
27 |
 |
| 392 |
Regularity theorem for Lebesgue measure |
27 |
 |
| 393 |
Differentiation of integrals |
27 |
 |
| 394 |
Kemnitz's conjecture |
27 |
 |
| 395 |
Weierstrass preparation theorem |
26 |
 |
| 396 |
Fixed point theorems in infinite-dimensional spaces |
26 |
 |
| 397 |
Addition theorem |
26 |
 |
| 398 |
Montel's theorem |
26 |
 |
| 399 |
Chomsky–Schützenberger theorem |
26 |
 |
| 400 |
2π theorem |
26 |
 |
| 401 |
AF+BG theorem |
26 |
 |
| 402 |
Inverse eigenvalues theorem |
26 |
 |
| 403 |
Malgrange preparation theorem |
26 |
 |
| 404 |
Prokhorov's theorem |
26 |
 |
| 405 |
Church–Rosser theorem |
25 |
 |
| 406 |
May's theorem |
25 |
 |
| 407 |
Cut-elimination theorem |
25 |
 |
| 408 |
Equidistribution theorem |
25 |
 |
| 409 |
Arrival theorem |
25 |
 |
| 410 |
Carlson's theorem |
25 |
 |
| 411 |
Fáry's theorem |
25 |
 |
| 412 |
Hurwitz's theorem (complex analysis) |
25 |
 |
| 413 |
Pizza theorem |
25 |
 |
| 414 |
Primitive element theorem |
24 |
 |
| 415 |
Jacobson density theorem |
24 |
 |
| 416 |
Hurewicz theorem |
24 |
 |
| 417 |
Wolstenholme's theorem |
24 |
 |
| 418 |
Lattice theorem |
24 |
 |
| 419 |
Heawood conjecture |
24 |
 |
| 420 |
Carathéodory's theorem (conformal mapping) |
24 |
 |
| 421 |
Brun's theorem |
24 |
 |
| 422 |
Runge's theorem |
24 |
 |
| 423 |
Froda's theorem |
24 |
 |
| 424 |
Mergelyan's theorem |
24 |
 |
| 425 |
Liénard equation |
24 |
 |
| 426 |
Omega-categorical theory |
24 |
 |
| 427 |
Poincaré–Birkhoff–Witt theorem |
23 |
 |
| 428 |
Donaldson's theorem |
23 |
 |
| 429 |
Mittag-Leffler's theorem |
23 |
 |
| 430 |
Dirichlet's approximation theorem |
23 |
 |
| 431 |
Mostow rigidity theorem |
23 |
 |
| 432 |
Vanishing theorem |
23 |
 |
| 433 |
Babuška–Lax–Milgram theorem |
23 |
 |
| 434 |
Hurwitz's theorem (normed division algebras) |
23 |
 |
| 435 |
MacMahon Master theorem |
23 |
 |
| 436 |
Five points determine a conic |
23 |
 |
| 437 |
Dinitz conjecture |
22 |
 |
| 438 |
Universal coefficient theorem |
22 |
 |
| 439 |
Brianchon's theorem |
22 |
 |
| 440 |
Fary–Milnor theorem |
22 |
 |
| 441 |
Behnke–Stein theorem |
22 |
 |
| 442 |
Euler's theorem (differential geometry) |
22 |
 |
| 443 |
Jung's theorem |
22 |
 |
| 444 |
Midy's theorem |
22 |
 |
| 445 |
Schönflies problem |
22 |
 |
| 446 |
Quillen–Suslin theorem |
21 |
 |
| 447 |
Cartan's theorem |
21 |
 |
| 448 |
Bohr–Mollerup theorem |
21 |
 |
| 449 |
Cayley–Bacharach theorem |
21 |
 |
| 450 |
De Franchis theorem |
21 |
 |
| 451 |
Fatou–Lebesgue theorem |
21 |
 |
| 452 |
Gauss–Lucas theorem |
21 |
 |
| 453 |
Ax–Grothendieck theorem |
21 |
 |
| 454 |
Borel determinacy theorem |
21 |
 |
| 455 |
Cheng's eigenvalue comparison theorem |
21 |
 |
| 456 |
Dirac's theorem |
21 |
 |
| 457 |
Lester's theorem |
21 |
 |
| 458 |
M. Riesz extension theorem |
21 |
 |
| 459 |
Rokhlin's theorem |
21 |
 |
| 460 |
Shift theorem |
21 |
 |
| 461 |
Bombieri–Vinogradov theorem |
21 |
 |
| 462 |
Gromov's compactness theorem (geometry) |
21 |
 |
| 463 |
Cameron–Erdős conjecture |
21 |
 |
| 464 |
Quartic reciprocity |
21 |
 |
| 465 |
Brooks' theorem |
21 |
 |
| 466 |
Baker's theorem |
21 |
 |
| 467 |
Original proof of Gödel's completeness theorem |
20 |
 |
| 468 |
Bolyai–Gerwien theorem |
20 |
 |
| 469 |
Turán's theorem |
20 |
 |
| 470 |
Kirszbraun theorem |
20 |
 |
| 471 |
Hilbert's syzygy theorem |
20 |
 |
| 472 |
Oseledets theorem |
20 |
 |
| 473 |
Marcinkiewicz–Zygmund inequality |
20 |
 |
| 474 |
Birkhoff–Grothendieck theorem |
20 |
 |
| 475 |
Hardy–Littlewood tauberian theorem |
20 |
 |
| 476 |
Kōmura's theorem |
20 |
 |
| 477 |
Liouville's theorem (conformal mappings) |
20 |
 |
| 478 |
Rouché–Capelli theorem |
20 |
 |
| 479 |
Schaefer's dichotomy theorem |
20 |
 |
| 480 |
Chasles' theorem |
20 |
 |
| 481 |
Fiber bundle construction theorem |
20 |
 |
| 482 |
Hadamard's lemma |
20 |
 |
| 483 |
Casorati–Weierstrass theorem |
19 |
 |
| 484 |
Hadwiger's theorem |
19 |
 |
| 485 |
Space hierarchy theorem |
19 |
 |
| 486 |
Hopf–Rinow theorem |
19 |
 |
| 487 |
Löb's theorem |
19 |
 |
| 488 |
Kruskal–Katona theorem |
19 |
 |
| 489 |
Borel–Carathéodory theorem |
19 |
 |
| 490 |
Nash–Moser theorem |
19 |
 |
| 491 |
Hahn decomposition theorem |
19 |
 |
| 492 |
Carathéodory–Jacobi–Lie theorem |
19 |
 |
| 493 |
Caristi fixed point theorem |
19 |
 |
| 494 |
Commutation theorem |
19 |
 |
| 495 |
Lebesgue's decomposition theorem |
19 |
 |
| 496 |
Lindström's theorem |
19 |
 |
| 497 |
Looman–Menchoff theorem |
19 |
 |
| 498 |
Monge's theorem |
19 |
 |
| 499 |
Preimage theorem |
19 |
 |
| 500 |
Proth's theorem |
19 |
 |
| 501 |
Wiener's tauberian theorem |
19 |
 |
| 502 |
Goldbach–Euler theorem |
19 |
 |
| 503 |
Acyclic model |
19 |
 |
| 504 |
König's theorem (set theory) |
18 |
 |
| 505 |
Hasse's theorem on elliptic curves |
18 |
 |
| 506 |
Borel–Weil theorem |
18 |
 |
| 507 |
Mellin inversion theorem |
18 |
 |
| 508 |
Edge-of-the-wedge theorem |
18 |
 |
| 509 |
Nielsen–Thurston classification |
18 |
 |
| 510 |
Kuiper's theorem |
18 |
 |
| 511 |
Corona theorem |
18 |
 |
| 512 |
Spectrum of a theory |
18 |
 |
| 513 |
Bloch's theorem (complex variables) |
18 |
 |
| 514 |
Hardy–Ramanujan theorem |
18 |
 |
| 515 |
Kaplansky density theorem |
18 |
 |
| 516 |
Monodromy theorem |
18 |
 |
| 517 |
Ramanujam vanishing theorem |
18 |
 |
| 518 |
Richardson's theorem |
18 |
 |
| 519 |
Routh's theorem |
18 |
 |
| 520 |
Sion's minimax theorem |
18 |
 |
| 521 |
Sturm–Picone comparison theorem |
18 |
 |
| 522 |
Subspace theorem |
18 |
 |
| 523 |
Witt's theorem |
18 |
 |
| 524 |
Zsigmondy's theorem |
18 |
 |
| 525 |
Erdős–Graham problem |
18 |
 |
| 526 |
Mountain climbing problem |
18 |
 |
| 527 |
Discrete Green's theorem |
18 |
 |
| 528 |
Hille–Yosida theorem |
17 |
 |
| 529 |
Blum's speedup theorem |
17 |
 |
| 530 |
Serre conjecture (number theory) |
17 |
 |
| 531 |
Abouabdillah's theorem |
17 |
 |
| 532 |
Schwarz reflection principle |
17 |
 |
| 533 |
Banach–Mazur theorem |
17 |
 |
| 534 |
Casey's theorem |
17 |
 |
| 535 |
De Gua's theorem |
17 |
 |
| 536 |
Easton's theorem |
17 |
 |
| 537 |
Jacobi's four-square theorem |
17 |
 |
| 538 |
Kolmogorov's three-series theorem |
17 |
 |
| 539 |
Reflection theorem |
17 |
 |
| 540 |
Schur–Zassenhaus theorem |
17 |
 |
| 541 |
Tijdeman's theorem |
17 |
 |
| 542 |
Vinogradov's theorem |
17 |
 |
| 543 |
Wedderburn's little theorem |
17 |
 |
| 544 |
Abhyankar's conjecture |
17 |
 |
| 545 |
Crofton formula |
17 |
 |
| 546 |
Full employment theorem |
17 |
 |
| 547 |
Beatty sequence |
17 |
 |
| 548 |
Hilbert–Schmidt theorem |
17 |
 |
| 549 |
Kakutani's theorem (geometry) |
17 |
 |
| 550 |
Linnik's theorem |
16 |
 |
| 551 |
Simplicial approximation theorem |
16 |
 |
| 552 |
Haboush's theorem |
16 |
 |
| 553 |
Hales–Jewett theorem |
16 |
 |
| 554 |
Thue–Siegel–Roth theorem |
16 |
 |
| 555 |
Lagrange reversion theorem |
16 |
 |
| 556 |
Mertens' theorems |
16 |
 |
| 557 |
Lie–Kolchin theorem |
16 |
 |
| 558 |
Morley's categoricity theorem |
16 |
 |
| 559 |
Lickorish–Wallace theorem |
16 |
 |
| 560 |
Napoleon's theorem |
16 |
 |
| 561 |
Torelli theorem |
16 |
 |
| 562 |
Rauch comparison theorem |
16 |
 |
| 563 |
Grauert–Riemenschneider vanishing theorem |
16 |
 |
| 564 |
Hartogs' extension theorem |
16 |
 |
| 565 |
Malgrange–Ehrenpreis theorem |
16 |
 |
| 566 |
Milliken's tree theorem |
16 |
 |
| 567 |
Steiner–Lehmus theorem |
16 |
 |
| 568 |
Holditch's theorem |
16 |
 |
| 569 |
Stanley–Wilf conjecture |
16 |
 |
| 570 |
Sphere theorem (3-manifolds) |
16 |
 |
| 571 |
Representation theorem |
16 |
 |
| 572 |
There is no infinite-dimensional Lebesgue measure |
16 |
 |
| 573 |
Rice–Shapiro theorem |
16 |
 |
| 574 |
Zermelo's theorem (game theory) |
16 |
 |
| 575 |
Erdős–Ko–Rado theorem |
15 |
 |
| 576 |
Hellinger–Toeplitz theorem |
15 |
 |
| 577 |
Post's theorem |
15 |
 |
| 578 |
Mohr–Mascheroni theorem |
15 |
 |
| 579 |
Kleene fixed-point theorem |
15 |
 |
| 580 |
Apéry's theorem |
15 |
 |
| 581 |
Max Noether's theorem |
15 |
 |
| 582 |
Chevalley–Warning theorem |
15 |
 |
| 583 |
Fenchel's duality theorem |
15 |
 |
| 584 |
Poisson limit theorem |
15 |
 |
| 585 |
Analytic Fredholm theorem |
15 |
 |
| 586 |
Birkhoff's representation theorem |
15 |
 |
| 587 |
Bondy's theorem |
15 |
 |
| 588 |
Borel fixed-point theorem |
15 |
 |
| 589 |
Cartan–Hadamard theorem |
15 |
 |
| 590 |
Hjelmslev's theorem |
15 |
 |
| 591 |
Lefschetz hyperplane theorem |
15 |
 |
| 592 |
Lindelöf's theorem |
15 |
 |
| 593 |
Open mapping theorem (complex analysis) |
15 |
 |
| 594 |
Schwartz kernel theorem |
15 |
 |
| 595 |
Titchmarsh convolution theorem |
15 |
 |
| 596 |
Størmer's theorem |
15 |
 |
| 597 |
James' theorem |
15 |
 |
| 598 |
Six circles theorem |
15 |
 |
| 599 |
Krull's principal ideal theorem |
14 |
 |
| 600 |
Vitali theorem |
14 |
 |
| 601 |
Butterfly theorem |
14 |
 |
| 602 |
Trudinger's theorem |
14 |
 |
| 603 |
Valiant–Vazirani theorem |
14 |
 |
| 604 |
British flag theorem |
14 |
 |
| 605 |
Cartan–Dieudonné theorem |
14 |
 |
| 606 |
Closed range theorem |
14 |
 |
| 607 |
Cohn's irreducibility criterion |
14 |
 |
| 608 |
Four-vertex theorem |
14 |
 |
| 609 |
Intersection theorem |
14 |
 |
| 610 |
Kawasaki's theorem |
14 |
 |
| 611 |
No wandering domain theorem |
14 |
 |
| 612 |
Plancherel theorem for spherical functions |
14 |
 |
| 613 |
Duggan–Schwartz theorem |
14 |
 |
| 614 |
Dynkin's formula |
14 |
 |
| 615 |
Siegel disc |
14 |
 |
| 616 |
Szemerédi–Trotter theorem |
13 |
 |
| 617 |
Engel theorem |
13 |
 |
| 618 |
Ore's theorem |
13 |
 |
| 619 |
Sphere theorem |
13 |
 |
| 620 |
Wilkie's theorem |
13 |
 |
| 621 |
Barwise compactness theorem |
13 |
 |
| 622 |
Atiyah–Bott fixed-point theorem |
13 |
 |
| 623 |
Ax–Kochen theorem |
13 |
 |
| 624 |
Glivenko's theorem |
13 |
 |
| 625 |
Hilbert's theorem (differential geometry) |
13 |
 |
| 626 |
Mountain pass theorem |
13 |
 |
| 627 |
Saccheri–Legendre theorem |
13 |
 |
| 628 |
Whitney extension theorem |
13 |
 |
| 629 |
Zahorski theorem |
13 |
 |
| 630 |
Gordon–Luecke theorem |
13 |
 |
| 631 |
Markov spectrum |
13 |
 |
| 632 |
Mahler's theorem |
12 |
 |
| 633 |
Skolem–Noether theorem |
12 |
 |
| 634 |
Stanley's reciprocity theorem |
12 |
 |
| 635 |
Hilbert's Theorem 90 |
12 |
 |
| 636 |
Silverman–Toeplitz theorem |
12 |
 |
| 637 |
Beck's theorem (geometry) |
12 |
 |
| 638 |
Immerman–Szelepcsényi theorem |
12 |
 |
| 639 |
Hahn–Kolmogorov theorem |
12 |
 |
| 640 |
Hartogs' theorem |
12 |
 |
| 641 |
Weil conjecture on Tamagawa numbers |
12 |
 |
| 642 |
Belyi's theorem |
12 |
 |
| 643 |
F. and M. Riesz theorem |
12 |
 |
| 644 |
Abhyankar–Moh theorem |
12 |
 |
| 645 |
Balian–Low theorem |
12 |
 |
| 646 |
Brun–Titchmarsh theorem |
12 |
 |
| 647 |
Busemann's theorem |
12 |
 |
| 648 |
Craig's theorem |
12 |
 |
| 649 |
Erdős–Pósa theorem |
12 |
 |
| 650 |
Isomorphism extension theorem |
12 |
 |
| 651 |
Peixoto's theorem |
12 |
 |
| 652 |
Robinson's joint consistency theorem |
12 |
 |
| 653 |
Stinespring factorization theorem |
12 |
 |
| 654 |
Toda's theorem |
12 |
 |
| 655 |
Zariski's main theorem |
12 |
 |
| 656 |
Frege's theorem |
12 |
 |
| 657 |
Carleman's condition |
12 |
 |
| 658 |
Subgroup test |
12 |
 |
| 659 |
Contraction principle (large deviations theory) |
12 |
 |
| 660 |
Krull–Schmidt theorem |
12 |
 |
| 661 |
Minkowski problem |
12 |
 |
| 662 |
Stark–Heegner theorem |
11 |
 |
| 663 |
Gromov's theorem on groups of polynomial growth |
11 |
 |
| 664 |
Hodge index theorem |
11 |
 |
| 665 |
Harnack's principle |
11 |
 |
| 666 |
Freudenthal suspension theorem |
11 |
 |
| 667 |
Meyer's theorem |
11 |
 |
| 668 |
Brauer's theorem on induced characters |
11 |
 |
| 669 |
Gordon–Newell theorem |
11 |
 |
| 670 |
Laplace principle (large deviations theory) |
11 |
 |
| 671 |
Ado's theorem |
11 |
 |
| 672 |
Artin–Zorn theorem |
11 |
 |
| 673 |
Banach–Stone theorem |
11 |
 |
| 674 |
Bing metrization theorem |
11 |
 |
| 675 |
Focal subgroup theorem |
11 |
 |
| 676 |
Gelfand–Mazur theorem |
11 |
 |
| 677 |
Grunwald–Wang theorem |
11 |
 |
| 678 |
Lee Hwa Chung theorem |
11 |
 |
| 679 |
Pitot theorem |
11 |
 |
| 680 |
Stein–Strömberg theorem |
11 |
 |
| 681 |
Michael selection theorem |
11 |
 |
| 682 |
Lions–Lax–Milgram theorem |
11 |
 |
| 683 |
Von Neumann bicommutant theorem |
10 |
 |
| 684 |
Beck's theorem |
10 |
 |
| 685 |
Whitney immersion theorem |
10 |
 |
| 686 |
Thue equation |
10 |
 |
| 687 |
Toy theorem |
10 |
 |
| 688 |
Fredholm's theorem |
10 |
 |
| 689 |
Freiman's theorem |
10 |
 |
| 690 |
Kodaira embedding theorem |
10 |
 |
| 691 |
Danskin's theorem |
10 |
 |
| 692 |
Anderson's theorem |
10 |
 |
| 693 |
Brauer's theorem |
10 |
 |
| 694 |
Fatou's theorem |
10 |
 |
| 695 |
Grothendieck's connectedness theorem |
10 |
 |
| 696 |
Kaplansky's theorem on quadratic forms |
10 |
 |
| 697 |
Ratner's theorems |
10 |
 |
| 698 |
Tsen's theorem |
10 |
 |
| 699 |
Milman–Pettis theorem |
10 |
 |
| 700 |
Prékopa–Leindler inequality |
10 |
 |
| 701 |
Tutte–Berge formula |
10 |
 |
| 702 |
Whitehead theorem |
9 |
 |
| 703 |
Vitali–Hahn–Saks theorem |
9 |
 |
| 704 |
Fenchel's theorem |
9 |
 |
| 705 |
Dudley's theorem |
9 |
 |
| 706 |
Sazonov's theorem |
9 |
 |
| 707 |
Schilder's theorem |
9 |
 |
| 708 |
Lochs' theorem |
9 |
 |
| 709 |
Bertrand–Diquet–Puiseux theorem |
9 |
 |
| 710 |
Brauer–Siegel theorem |
9 |
 |
| 711 |
Chevalley–Shephard–Todd theorem |
9 |
 |
| 712 |
Eilenberg–Zilber theorem |
9 |
 |
| 713 |
Goldie's theorem |
9 |
 |
| 714 |
Helly's selection theorem |
9 |
 |
| 715 |
Kachurovskii's theorem |
9 |
 |
| 716 |
Krener's theorem |
9 |
 |
| 717 |
Kurosh subgroup theorem |
9 |
 |
| 718 |
Maier's theorem |
9 |
 |
| 719 |
Sophie Germain's theorem |
9 |
 |
| 720 |
Stallings–Zeeman theorem |
9 |
 |
| 721 |
Toponogov's theorem |
9 |
 |
| 722 |
ZJ theorem |
9 |
 |
| 723 |
Gromov's compactness theorem (topology) |
9 |
 |
| 724 |
Hajós's theorem |
9 |
 |
| 725 |
Campbell's theorem |
9 |
 |
| 726 |
Theorem of Bertini |
9 |
 |
| 727 |
Pompeiu derivative |
9 |
 |
| 728 |
Serre–Swan theorem |
8 |
 |
| 729 |
Ehresmann's theorem |
8 |
 |
| 730 |
Pasch's theorem |
8 |
 |
| 731 |
Beck's monadicity theorem |
8 |
 |
| 732 |
Proizvolov's identity |
8 |
 |
| 733 |
Weyl–Schouten theorem |
8 |
 |
| 734 |
ATS theorem |
8 |
 |
| 735 |
Area theorem (conformal mapping) |
8 |
 |
| 736 |
Atkinson's theorem |
8 |
 |
| 737 |
Auxiliary polynomial theorem |
8 |
 |
| 738 |
Denjoy theorem |
8 |
 |
| 739 |
Glaisher's theorem |
8 |
 |
| 740 |
Grinberg's theorem |
8 |
 |
| 741 |
Multiplicity-one theorem |
8 |
 |
| 742 |
Mumford vanishing theorem |
8 |
 |
| 743 |
Pompeiu's theorem |
8 |
 |
| 744 |
Quotient of subspace theorem |
8 |
 |
| 745 |
Tunnell's theorem |
8 |
 |
| 746 |
Milliken–Taylor theorem |
8 |
 |
| 747 |
Naimark's dilation theorem |
8 |
 |
| 748 |
Ryll-Nardzewski fixed point theorem |
8 |
 |
| 749 |
Latimer-MacDuffee theorem |
8 |
 |
| 750 |
Dodecahedral conjecture |
8 |
 |
| 751 |
Rellich–Kondrachov theorem |
8 |
 |
| 752 |
Dvoretzky's theorem |
8 |
 |
| 753 |
Steinhaus theorem |
8 |
 |
| 754 |
Lumer–Phillips theorem |
8 |
 |
| 755 |
Ostrowski–Hadamard gap theorem |
8 |
 |
| 756 |
Dunford–Schwartz theorem |
8 |
 |
| 757 |
Splitting theorem |
7 |
 |
| 758 |
Schreier refinement theorem |
7 |
 |
| 759 |
Takagi existence theorem |
7 |
 |
| 760 |
Eisenstein's theorem |
7 |
 |
| 761 |
Cartan–Kähler theorem |
7 |
 |
| 762 |
Rosser's theorem |
7 |
 |
| 763 |
Karp–Lipton theorem |
7 |
 |
| 764 |
Noether's theorem on rationality for surfaces |
7 |
 |
| 765 |
Peetre theorem |
7 |
 |
| 766 |
Schnyder's theorem |
7 |
 |
| 767 |
Abel's binomial theorem |
7 |
 |
| 768 |
Andreotti–Frankel theorem |
7 |
 |
| 769 |
Beckman–Quarles theorem |
7 |
 |
| 770 |
Bonnet theorem |
7 |
 |
| 771 |
De Bruijn–Erdős theorem (incidence geometry) |
7 |
 |
| 772 |
Fitting's theorem |
7 |
 |
| 773 |
Fraňková–Helly selection theorem |
7 |
 |
| 774 |
Goldstine theorem |
7 |
 |
| 775 |
Graph structure theorem |
7 |
 |
| 776 |
Harnack's curve theorem |
7 |
 |
| 777 |
Hurwitz's theorem (number theory) |
7 |
 |
| 778 |
Kharitonov's theorem |
7 |
 |
| 779 |
Lauricella's theorem |
7 |
 |
| 780 |
Lax–Wendroff theorem |
7 |
 |
| 781 |
Quantum threshold theorem |
7 |
 |
| 782 |
Reider's theorem |
7 |
 |
| 783 |
Stallings theorem about ends of groups |
7 |
 |
| 784 |
Synge's theorem |
7 |
 |
| 785 |
Sz.-Nagy's dilation theorem |
7 |
 |
| 786 |
Tonelli's theorem (functional analysis) |
7 |
 |
| 787 |
Friedlander–Iwaniec theorem |
7 |
 |
| 788 |
Classification of Fatou components |
7 |
 |
| 789 |
Kline sphere characterization |
7 |
 |
| 790 |
Five circles theorem |
7 |
 |
| 791 |
Hahn embedding theorem |
6 |
 |
| 792 |
Conservativity theorem |
6 |
 |
| 793 |
Compression theorem |
6 |
 |
| 794 |
Sipser–Lautemann theorem |
6 |
 |
| 795 |
Minkowski–Hlawka theorem |
6 |
 |
| 796 |
Van Aubel's theorem |
6 |
 |
| 797 |
Ore condition |
6 |
 |
| 798 |
Artstein's theorem |
6 |
 |
| 799 |
Balinski's theorem |
6 |
 |
| 800 |
Berger–Kazdan comparison theorem |
6 |
 |
| 801 |
Beurling–Lax theorem |
6 |
 |
| 802 |
De Bruijn–Erdős theorem (graph theory) |
6 |
 |
| 803 |
Grushko theorem |
6 |
 |
| 804 |
Integral representation theorem for classical Wiener space |
6 |
 |
| 805 |
Lefschetz theorem on (1,1)-classes |
6 |
 |
| 806 |
Levitzky's theorem |
6 |
 |
| 807 |
Reeb sphere theorem |
6 |
 |
| 808 |
Six exponentials theorem |
6 |
 |
| 809 |
Specht's theorem |
6 |
 |
| 810 |
Structure theorem for Gaussian measures |
6 |
 |
| 811 |
Symmetric hypergraph theorem |
6 |
 |
| 812 |
Szpilrajn extension theorem |
6 |
 |
| 813 |
Tameness conjecture |
6 |
 |
| 814 |
Von Neumann's theorem |
6 |
 |
| 815 |
Siegel's theorem on integral points |
6 |
 |
| 816 |
CN group |
6 |
 |
| 817 |
Carleson measure |
6 |
 |
| 818 |
Subring test |
6 |
 |
| 819 |
Erdős–Stone theorem |
6 |
 |
| 820 |
Riemannian Penrose inequality |
6 |
 |
| 821 |
Schroeder–Bernstein theorem for measurable spaces |
6 |
 |
| 822 |
Eells–Kuiper manifold |
6 |
 |
| 823 |
Orlicz–Pettis theorem |
6 |
 |
| 824 |
Ankeny–Artin–Chowla congruence |
less than 5 views |
|
| 825 |
Mahler's compactness theorem |
less than 5 views |
|
| 826 |
Linear speedup theorem |
less than 5 views |
|
| 827 |
Thue's theorem |
less than 5 views |
|
| 828 |
Von Staudt–Clausen theorem |
less than 5 views |
|
| 829 |
Invariance theorem |
less than 5 views |
|
| 830 |
Schwarz–Ahlfors–Pick theorem |
less than 5 views |
|
| 831 |
Stickelberger's theorem |
less than 5 views |
|
| 832 |
Thébault's theorem |
less than 5 views |
|
| 833 |
Cramér–Wold theorem |
less than 5 views |
|
| 834 |
Clifford's theorem on special divisors |
less than 5 views |
|
| 835 |
Bauer–Fike theorem |
less than 5 views |
|
| 836 |
Leray's theorem |
less than 5 views |
|
| 837 |
Tverberg's theorem |
less than 5 views |
|
| 838 |
Principal ideal theorem |
less than 5 views |
|
| 839 |
Riemann–Roch theorem for surfaces |
less than 5 views |
|
| 840 |
Freidlin–Wentzell theorem |
less than 5 views |
|
| 841 |
Davenport–Schmidt theorem |
less than 5 views |
|
| 842 |
Loop theorem |
less than 5 views |
|
| 843 |
Krylov–Bogolyubov theorem |
less than 5 views |
|
| 844 |
Generic flatness |
less than 5 views |
|
| 845 |
Appell–Humbert theorem |
less than 5 views |
|
| 846 |
Autonomous convergence theorem |
less than 5 views |
|
| 847 |
Baranyai's theorem |
less than 5 views |
|
| 848 |
Beer's theorem |
less than 5 views |
|
| 849 |
Branching theorem |
less than 5 views |
|
| 850 |
Brauer–Cartan–Hua theorem |
less than 5 views |
|
| 851 |
Dawson–Gärtner theorem |
less than 5 views |
|
| 852 |
Higman's embedding theorem |
less than 5 views |
|
| 853 |
Sinkhorn's theorem |
less than 5 views |
|
| 854 |
Vantieghems theorem |
less than 5 views |
|
| 855 |
Cotlar–Stein lemma |
less than 5 views |
|
| 856 |
Segal conjecture |
less than 5 views |
|
| 857 |
Dedekind discriminant theorem |
less than 5 views |
|
| 858 |
Tonelli–Hobson test |
less than 5 views |
|
| 859 |
Markus−Yamabe conjecture |
less than 5 views |
|
| 860 |
Riemann–von Mangoldt formula |
less than 5 views |
|
| 861 |
Japanese theorem |
less than 5 views |
|
| 862 |
Landsberg–Schaar relation |
less than 5 views |
|
| 863 |
Bruck–Chowla–Ryser theorem |
less than 5 views |
|
| 864 |
Nagell–Lutz theorem |
less than 5 views |
|
| 865 |
Chowla–Mordell theorem |
less than 5 views |
|
| 866 |
Gradient conjecture |
less than 5 views |
|
| 867 |
Bendixson–Dulac theorem |
less than 5 views |
|
| 868 |
Fuglede's theorem |
less than 5 views |
|
| 869 |
Myers's theorem |
less than 5 views |
|
| 870 |
Carmichael's theorem |
less than 5 views |
|
| 871 |
Hasse norm theorem |
less than 5 views |
|
| 872 |
Nagata–Smirnov metrization theorem |
less than 5 views |
|
| 873 |
Scott core theorem |
less than 5 views |
|
| 874 |
Sklar's theorem |
less than 5 views |
|
| 875 |
Artin approximation theorem |
less than 5 views |
|
| 876 |
Vietoris–Begle mapping theorem |
less than 5 views |
|
| 877 |
Blattner's conjecture |
less than 5 views |
|
| 878 |
Riemann–Roch theorem for smooth manifolds |
less than 5 views |
|
| 879 |
Nielsen realization problem |
less than 5 views |
|
| 880 |
Castelnuovo–de Franchis theorem |
less than 5 views |
|
| 881 |
Müntz–Szász theorem |
less than 5 views |
|
| 882 |
Bôcher's theorem |
less than 5 views |
|
| 883 |
Clark–Ocone theorem |
less than 5 views |
|
| 884 |
Lie's third theorem |
less than 5 views |
|
| 885 |
Dévissage |
less than 5 views |
|
| 886 |
Abel's curve theorem |
less than 5 views |
|
| 887 |
Alperin–Brauer–Gorenstein theorem |
less than 5 views |
|
| 888 |
Atiyah–Segal completion theorem |
less than 5 views |
|
| 889 |
Beauville–Laszlo theorem |
less than 5 views |
|
| 890 |
Beltrami's theorem |
less than 5 views |
|
| 891 |
Birch's theorem |
less than 5 views |
|
| 892 |
Blaschke selection theorem |
less than 5 views |
|
| 893 |
Brauer–Nesbitt theorem |
less than 5 views |
|
| 894 |
Brauer–Suzuki theorem |
less than 5 views |
|
| 895 |
Brauer's three main theorems |
less than 5 views |
|
| 896 |
Browder–Minty theorem |
less than 5 views |
|
| 897 |
Cartan–Kuranishi prolongation theorem |
less than 5 views |
|
| 898 |
Curtis–Hedlund–Lyndon theorem |
less than 5 views |
|
| 899 |
De Bruijn's theorem |
less than 5 views |
|
| 900 |
Erdős–Anning theorem |
less than 5 views |
|
| 901 |
Erdős–Nagy theorem |
less than 5 views |
|
| 902 |
Fernique's theorem |
less than 5 views |
|
| 903 |
Fuchs's theorem |
less than 5 views |
|
| 904 |
Hasse–Arf theorem |
less than 5 views |
|
| 905 |
Hölder's theorem |
less than 5 views |
|
| 906 |
Identity theorem for Riemann surfaces |
less than 5 views |
|
| 907 |
Jurkat–Richert theorem |
less than 5 views |
|
| 908 |
Kanamori–McAloon theorem |
less than 5 views |
|
| 909 |
Kawamata–Viehweg vanishing theorem |
less than 5 views |
|
| 910 |
Kneser theorem |
less than 5 views |
|
| 911 |
Lambek–Moser theorem |
less than 5 views |
|
| 912 |
Leray-Hirsch theorem |
less than 5 views |
|
| 913 |
Mazur–Ulam theorem |
less than 5 views |
|
| 914 |
Meusnier's theorem |
less than 5 views |
|
| 915 |
Minlos' theorem |
less than 5 views |
|
| 916 |
Moreau's theorem |
less than 5 views |
|
| 917 |
Nonsqueezing theorem |
less than 5 views |
|
| 918 |
Novikov's compact leaf theorem |
less than 5 views |
|
| 919 |
Ortsbogen theorem |
less than 5 views |
|
| 920 |
Pseudorandom generator theorem |
less than 5 views |
|
| 921 |
Robbins theorem |
less than 5 views |
|
| 922 |
Siegel–Walfisz theorem |
less than 5 views |
|
| 923 |
Theorem of the cube |
less than 5 views |
|
| 924 |
Turán–Kubilius inequality |
less than 5 views |
|
| 925 |
Weber's theorem |
less than 5 views |
|
| 926 |
Z* theorem |
less than 5 views |
|
| 927 |
Halpern–Läuchli theorem |
less than 5 views |
|
| 928 |
Fulton–Hansen connectedness theorem |
less than 5 views |
|
| 929 |
Schiffler's theorem |
less than 5 views |
|
| 930 |
Katětov–Tong insertion theorem |
less than 5 views |
|
| 931 |
Wiener–Ikehara theorem |
less than 5 views |
|
| 932 |
Commutant lifting theorem |
less than 5 views |
|
| 933 |
Strassmann's theorem |
less than 5 views |
|
| 934 |
Hadley's theorem |
less than 5 views |
|
| 935 |
Levi-Lechicki theorem |
less than 5 views |
|
| 936 |
Reversible diffusion |
less than 5 views |
|
| 937 |
Tilted large deviation principle |
less than 5 views |
|
| 938 |
Pettis' theorem |
less than 5 views |
|
| 939 |
Bing's recognition theorem |
less than 5 views |
|
| 940 |
Russo–Dye theorem |
less than 5 views |
|
| 941 |
Completeness of atomic initial sequents |
less than 5 views |
|
| 942 |
Hudde's rules |
less than 5 views |
|
| 943 |
Haran's diamond theorem |
less than 5 views |
|
| 944 |
Lyapunov–Malkin theorem |
less than 5 views |
|
| 945 |
Three subgroups lemma |
less than 5 views |
|