| Straszewicz's theorem | F0EXKKKEFW | statement | none |
| Bernstein's inequality for polynomials | F0YGC89S9R | statement | none |
| Rokhlin lemma | F1CCCF4V83 | statement | none |
| Tridiagonal matrix algorithm | F1QWA1PEQQ | statement | none |
| Helly's theorem | F1W3QRBNGJ | statement | none |
| Hartman–Wintner theorem | F2HHDD85EM | statement | none |
| Kleene's recursion theorem | F3Z30M606H | statement | none |
| Einstein problem | F456KQGPFV | statement | none |
| Cauchy–Kovalevskaya theorem for ODEs | F4VMHVWK41 | statement | none |
| McKean–Singer formula | F4WDYPQ9VP | statement | none |
| Fitting's lemma | F52B2JMEHY | statement | none |
| Dini test | F5PHA35M50 | statement | none |
| Hörmander–Mikhlin multiplier theorem | F5V7CXW30E | statement | none |
| Asymptotics of Bessel functions | F5YG34FAY1 | statement | none |
| Beltrami identity | F7EKTEESQ5 | statement | none |
| Cauchy–Davenport theorem | F7K7XFACSG | statement | none |
| Borel–Carathéodory theorem | F8XD8CDB0H | statement | none |
| Finiteness of the class number | F99RM1T02C | statement | none |
| Classification of Fatou components | FA37X4AFFB | statement | none |
| Compactness of the spectrum | FA5V5KRWDF | statement | none |
| Hamilton's principle | FAQ9CH2Z76 | statement | none |
| Bayes risk is at most minimax risk | FB692YN0BZ | statement | none |
| Cubic formula | FB6J5WAT5V | statement | none |
| Whitney decomposition | FBERT0KQXN | statement | none |
| Carleson's theorem | FBH6KG484Z | statement | none |
| Gabriel's theorem | FC78F2E87E | statement | none |
| Vitali covering lemma | FCA0J1X07K | statement | none |
| Nikodym convergence theorem | FCAA02SN0E | statement | none |
| Noether theorems for singular integral equations | FDC1BEB8FW | statement | none |
| Weierstrass division theorem | FE83QQS17S | statement | none |
| Margulis arithmeticity theorem | FEJK846N5X | statement | none |
| Sylow theorems | FESTJ0K9TX | statement | none |
| Beck's monadicity theorem | FETZ0VZGMD | statement | none |
| M. Riesz extension theorem | FEXZC8XKN1 | statement | none |
| Babenko–Beckner inequality | FFM7Y61KRT | statement | none |
| Convolution property of the Z-transform | FFR8NPWG64 | statement | none |
| Cauchy integral formula on a polydisc | FG5448NZ18 | statement | none |
| Banach–Tarski paradox | FH250K068Z | statement | none |
| Dehn's lemma | FH5WSPD79F | statement | none |
| Chern–Moser normal form | FHG1N4EKP4 | statement | none |
| Erdős–Ko–Rado theorem | FJ92Q6VTJH | statement | none |
| Approximation of a kernel by degenerate kernels | FJKNJ14AD2 | statement | none |
| Bott's Morse-theoretic proof of periodicity | FJZXB1N7TP | statement | none |
| Prime avoidance lemma | FMP5AWG6PR | statement | none |
| Hahn–Kolmogorov theorem | FN2WRRF6V9 | statement | none |
| Positivstellensatz | FN734RQYM6 | statement | none |
| Myers's theorem | FPMJEX3DSJ | statement | none |
| Hopf lemma | FPWKGFZE6Q | statement | none |
| Nishida nilpotence theorem | FQ048Z65F9 | statement | none |
| Courant–Friedrichs–Lewy condition | FQVVNYV6N8 | statement | none |
| Restricted Burnside problem | FQZJKY2G5Q | statement | none |
| Kunz's theorem | FRCY5BQF6N | statement | none |
| Splitting principle | FRTE50B74R | statement | none |
| Hartogs's extension theorem | FSGES670AZ | statement | none |
| Quantifier elimination for real closed fields | FSJ9NGRRPA | statement | none |
| Krull–Akizuki theorem | FSXA3CF365 | statement | none |
| Gage–Hamilton–Grayson theorem | FVGW1381TZ | statement | none |
| Hahn embedding theorem | FVPXXFNVQY | statement | none |
| Karamata's inequality | FWKSHEJ9RP | statement | none |
| Rauch comparison theorem | FX40F4A63V | statement | none |
| Bipolar theorem | FX5PWKCMBQ | statement | none |
| Freyd's adjoint functor theorem | FX88V4XW6F | statement | none |
| Frostman lemma | FYNFT90NT2 | statement | none |
| Phragmén–Lindelöf principle | FYR6V2NH6C | statement | none |
| Lindström's theorem | FYZ3CJGZYV | statement | none |
| Farkas' lemma | FYZC634H2D | statement | none |
| Semistable reduction theorem | FZ25BQTKNT | statement | none |
| Prime decomposition of 3-manifolds | FZH5T5340Q | statement | none |
| Gauss's principle of least constraint | FZWAHMFZM3 | statement | none |
| Cellular approximation theorem | G003WR6SMX | statement | none |
| Koenigs linearization theorem | G02NBNN6CJ | statement | none |
| Gauss–Seidel method | G0EDYEDG4S | statement | none |
| Wirtinger's inequality for functions | G0J13SXYTC | statement | none |
| Min-max theorem | G11NE3AT6E | statement | none |
| James's theorem | G1VWNQSAK5 | statement | none |
| Davis's converse of the Knaster–Tarski theorem | G20G1ECN56 | statement | none |
| Dolbeault isomorphism | G2HC1SFQ4P | statement | none |
| Monotone convergence theorem | G2S6H789RG | statement | none |
| Nagell–Lutz theorem | G38B7E4ESW | statement | none |
| Hirzebruch–Riemann–Roch theorem | G3X02FKQCR | statement | none |
| Lefschetz fixed-point theorem | G44NQXCWT9 | statement | none |
| Erdős–Anning theorem | G4C8V6K4VW | statement | none |
| Hilbert's inequality | G4R4MWWP3C | statement | none |
| Art gallery theorem | G4WSPQJ6W1 | statement | none |
| Thie's theorem on multiplicity | G5JKJEAKZ9 | statement | none |
| Kruskal–Katona theorem | G6WNYB0WMY | statement | none |
| Krasner's lemma | G8PGN0WQHW | statement | none |
| Mohr–Mascheroni theorem | G9VT2J3ZVK | statement | none |
| Yule–Walker equations | GA46NC0CJZ | statement | none |
| Posner's theorem | GA8BDBHP4M | statement | none |
| Pointwise Kan extension formula | GAMHZY8TWV | statement | none |
| Poisson summation formula | GARGJYSGFG | statement | none |
| Brown representability theorem | GC9FN7TTBV | statement | none |
| Tubular neighborhood theorem | GCBY80CSC6 | statement | none |
| Ostrowski's theorem | GCQ23XT6VD | statement | none |
| Slutsky's theorem | GCV10B5HES | statement | none |
| d'Alembert's principle | GD776GVZSR | statement | none |
| Uniqueness of identity element | GDBV09GFYB | statement | none |
| Ham sandwich theorem | GDXX60SNG5 | statement | none |
| Fabry gap theorem | GE0HX2KMMZ | statement | none |
| Steffensen's method | GEFBDG5CJ3 | statement | none |
| Tanaka's formula | GEM0ERJ5ZB | statement | none |
| Rosenberg's classification of maximal clones | GF1RK91VED | statement | none |
| Martin representation theorem | GFJE824E93 | statement | none |
| Kramers–Kronig relations | GFS95PZ5YK | statement | none |
| Chern–Gauss–Bonnet theorem | GG6NYPKMHX | statement | none |
| Talagrand's concentration inequality | GGEAGW4RRV | statement | none |
| Nagata's criterion for factoriality | GGEMJF449D | statement | none |
| Atiyah–Patodi–Singer index theorem | GGFAH1M80J | statement | none |
| Higman's lemma | GHK66XE1S8 | statement | none |
| Going-up theorem | GHKYR5PBQC | statement | none |
| von Neumann's minimax theorem | GJ8VTBFNP2 | statement | none |
| Behnke–Stein theorem | GJD05AZWQN | statement | none |
| Fundamental theorem of projective geometry | GKV4RVXBRE | statement | none |
| Levi's extension theorem for meromorphic functions | GMYDMZMN1S | statement | none |
| Reduction of a first-kind Volterra equation to the second kind | GNH0Y5VDE5 | statement | none |
| Superlinear convergence of the secant method | GP9E4AWJ8W | statement | none |
| Representability of cohomology by Eilenberg–MacLane spaces | GPDPYHM3RE | statement | none |
| Continuity principle | GPJC1NY5RE | statement | none |
| Fefferman's expansion of the Bergman kernel | GPQ9JNSDPA | statement | none |
| Circle packing theorem | GR1DDT1B6B | statement | none |
| Weyl's criterion | GS4RC7A7DJ | statement | none |
| Adem relations | GS8SCGYPX7 | statement | none |
| Dilworth's theorem | GT224XDA4E | statement | none |
| Universal coefficient theorem | GTA8ZFGZ3N | statement | none |
| Bohr's approximation theorem | GWCY1C1KQV | statement | none |
| Hironaka's resolution for complex spaces | GWJWP187QE | statement | none |
| Second main theorem of Nevanlinna theory | GWYE6745JK | statement | none |
| Stallings theorem about ends of groups | GWZN3EKEWD | statement | none |
| Closed graph theorem | GXM8BX8YM7 | statement | none |
| Integration in the transform variable | GXX2WPVRJ2 | statement | none |
| Virtually Haken conjecture | GYB411M966 | statement | none |
| Broyden's method | GYNYT7KTC3 | statement | none |
| Lusin's theorem | GZMAH9W2SK | statement | none |
| Sobolev embedding theorem | GZTT6FT18G | statement | none |
| Faltings's theorem | H0DB07WM20 | statement | none |
| Exponential integrator | H0MZB0DPP2 | statement | none |
| Focal subgroup theorem | H1BSG0J5G1 | statement | none |
| Jacobian criterion | H1CZXMZ6HE | statement | none |
| Liouville–Neumann series | H1HWSWME6B | statement | none |
| Dvoretzky–Kiefer–Wolfowitz inequality | H5G7CNYZEB | statement | none |
| Convergence of approximations for second-kind equations | H6KS0E9MF5 | statement | none |
| Layer cake representation | H78RXJC1K1 | statement | none |
| Jacobson radical of an Artinian ring is nilpotent | H7RAXJV9CP | statement | none |
| Lions–Stampacchia theorem | H80M01T0H8 | statement | none |
| Green–Tao theorem | H8BAHWSEMC | statement | none |
| Dvoretzky–Rogers theorem | H924SAD12G | statement | none |
| Double centralizer theorem | H9F9G4V1EM | statement | none |
| Berry–Esseen theorem | H9KTH7B380 | statement | none |
| Hodge decomposition | HABCJ4Y0SR | statement | none |
