|
Abel–Ruffini theorem
|
215 |
15 |
29 |
9 |
3 |
|
Acyclic model
|
82 |
8 |
10 |
4 |
2.4 |
|
Apéry's theorem
|
146 |
11 |
11 |
3 |
1.3 |
|
Arzelà–Ascoli theorem
|
402 |
34 |
37 |
6 |
2.2 |
|
Atiyah–Singer index theorem
|
21 |
15 |
8 |
10 |
1.6 |
|
ATS theorem
|
371 |
21 |
32 |
3 |
2.8 |
|
Babuška–Lax–Milgram theorem
|
192 |
27 |
39 |
16 |
2.4 |
|
Banach fixed point theorem
|
103 |
33 |
19 |
15 |
1.4 |
|
Banach–Tarski paradox
|
248 |
39 |
14 |
5 |
2.3 |
|
Bauer–Fike theorem
|
21 |
7 |
11 |
2 |
3.5 |
|
Beatty sequence
|
280 |
3 |
16 |
5 |
3.3 |
|
Beauville–Laszlo theorem
|
92 |
12 |
18 |
5 |
1.2 |
|
Bieberbach conjecture
|
206 |
28 |
9 |
5 |
2.6 |
|
Binomial theorem
|
181 |
15 |
28 |
8 |
2.2 |
|
Birkhoff's representation theorem
|
98 |
6 |
15 |
3 |
3.5 |
|
Borel determinacy theorem
|
94 |
9 |
8 |
5 |
1.4 |
|
Bott periodicity theorem
|
63 |
13 |
10 |
8 |
2.7 |
|
Brouwer fixed point theorem
|
68 |
3 |
10 |
4 |
2.9 |
|
Cantor's diagonal argument
|
185 |
28 |
17 |
5 |
2.8 |
|
Cantor–Bernstein–Schroeder theorem
|
32 |
6 |
10 |
2 |
2.1 |
|