| Zeros of holomorphic functions are not isolated | 5EZRN3812E | statement | none |
| Brent's method | 5F76XA1ABC | statement | none |
| Cartan's theorem A | 5FD8V6MQNX | statement | none |
| Integral extensions of fields | 5GCANV7337 | statement | none |
| Cartan–Iwasawa–Malcev theorem | 5GDFYDF2R2 | statement | none |
| Strichartz estimates in Lorentz space | 5GX76EM5HS | statement | none |
| Minkowski's second theorem | 5H4XZVF9B9 | statement | none |
| Lasker–Noether theorem | 5H8Z56KXMS | statement | none |
| Cartan's coherence theorem for ideal sheaves | 5J0D97M548 | statement | none |
| Macdonald constant term conjecture | 5J25W265JA | statement | none |
| Duhamel's integral | 5KC6B0Z09Y | statement | none |
| Mergelyan's theorem | 5KKCSZJC29 | statement | none |
| Itô isometry | 5MDK7HSYRM | statement | none |
| Poincaré classification of circle homeomorphisms | 5N5SDY3K53 | statement | none |
| Congruence criteria for triangles | 5NEJPXA6N4 | statement | none |
| Representer theorem | 5P6NB8P1HG | statement | none |
| Fukushima correspondence between Dirichlet forms and processes | 5PJF1NDCTT | statement | none |
| Frobenius theorem | 5Q4BHBFXJY | statement | none |
| Norm residue isomorphism theorem | 5Q5VN56QH4 | statement | none |
| Sphere theorem for 3-manifolds | 5QAFGPAZ4A | statement | none |
| Oates–Powell theorem | 5RFPT46DXX | statement | none |
| Takens's theorem | 5RN835HTBD | statement | none |
| Wallace–Bolyai–Gerwien theorem | 5RQGCEQYK5 | statement | none |
| Milnor conjecture on slice genus of torus knots | 5SDA7ZXT95 | statement | none |
| May recognition principle | 5SMK5KEBQE | statement | none |
| Whitman's condition | 5TNA2HBG7Y | statement | none |
| High indices theorem | 5VN386XHGA | statement | none |
| Mirsky's theorem | 5VPXR3RDF1 | statement | none |
| Riemann extension theorem in several variables | 5VW718YJQK | statement | none |
| Stein interpolation theorem | 5WHXGHBCY9 | statement | none |
| Domination principle | 5WVZSM42XR | statement | none |
| Bilinear series of a symmetric kernel | 5WYZPX1ZVW | statement | none |
| Krylov–Safonov estimate | 5YC2Y65NZX | statement | none |
| Hille–Yosida theorem | 5YR4GJKPCV | statement | none |
| Desargues's theorem | 5Z19Y02MME | statement | none |
| Levinson's theorem on asymptotic integration | 5ZFRRMBFV0 | statement | none |
| Crainic–Fernandes integrability theorem | 5ZNN348M6X | statement | none |
| Pullback pasting lemma | 60A5CC7S3A | statement | none |
| Tarski–Vaught test | 60SA99BER7 | statement | none |
| Levinson recursion | 60XZ6DNKKW | statement | none |
| Diaconescu's theorem | 6155D300EB | statement | none |
| Ryll-Nardzewski fixed-point theorem | 61B8B11Y0Y | statement | none |
| Schwarz integral formula | 61WT6CE08W | statement | none |
| Perron–Frobenius theorem | 62NS7PV1M9 | statement | none |
| Pickands–Balkema–De Haan theorem | 62TMXRHZ76 | statement | none |
| Schur–Zassenhaus theorem | 64K1A69C80 | statement | none |
| Iwasawa main conjecture | 67A4D4FAYJ | statement | none |
| Andreotti–Grauert theorem | 67RJ0S8F74 | statement | none |
| Jordan curve theorem | 687RGCHBTP | statement | none |
| Gauss–Codazzi equations | 68TVVHCQ3Z | statement | none |
| Oka's solution of the Levi problem | 6BJB149MDK | statement | none |
| Frisch–Waugh–Lovell theorem | 6C67F22FTD | statement | none |
| Capacitability of Borel sets | 6D4EW91AJY | statement | none |
| Runge–Kutta–Fehlberg method | 6D73FFD9DC | statement | none |
| Runge's theorem | 6DG4CTGXJD | statement | none |
| Five-term relation for the dilogarithm | 6DHQTFAJ03 | statement | none |
| Weierstrass–Erdmann corner conditions | 6E8KRJKXHS | statement | none |
| Rearrangement inequality | 6E9TAF8HCY | statement | none |
| Chow's theorem | 6EFEG5VJEF | statement | none |
| Variety as a reflective subcategory | 6EWEMZ6FX1 | statement | none |
| Lévy–Steinitz theorem | 6EXHAQF8SP | statement | none |
| Fuchs' theorem | 6EZ400WM94 | statement | none |
| Carlson's theorem | 6F5B8KPEGH | statement | none |
| Preissmann's theorem | 6G73DJH9T6 | statement | none |
| Basu's theorem | 6GATRFMJYY | statement | none |
| Cantor normal form | 6GD30FGYDZ | statement | none |
| Hahn–Banach separation theorem | 6GWMGFGFJJ | statement | none |
| Littlewood–Paley inequality | 6GYQNB2862 | statement | none |
| Evans potential theorem | 6K8GPMHWBB | statement | none |
| Successive over-relaxation | 6KQJR85ZC6 | statement | none |
| Spectral decomposition theorem | 6MTVY6NYY7 | statement | none |
| Whitehead theorem | 6P1E2FJPSD | statement | none |
| Stein's lemma | 6PWC83R457 | statement | none |
| Reduction of a boundary value problem to a Fredholm equation | 6Q36P44PHZ | statement | none |
| Finite Desarguesian planes are Pappian | 6QBGAKFB9N | statement | none |
| Double bubble theorem | 6QG8QNHBF4 | statement | none |
| Mahler's compactness theorem | 6QY76Q5WVS | statement | none |
| Birkhoff's representation theorem | 6RDM3069KC | statement | none |
| Gagliardo–Nirenberg interpolation inequality | 6SK4PQPD3C | statement | none |
| Fundamental group of the circle | 6SQXPE0JPN | statement | none |
| Triangulability of analytic sets | 6SZDXD3KYH | statement | none |
| Bertrand's test | 6T3E3AXZT7 | statement | none |
| Modica–Mortola theorem | 6TSMHGCXVM | statement | none |
| Peter–Weyl theorem | 6VC9QE39XH | statement | none |
| Embedding theorem for Stein manifolds | 6VF47Q35YA | statement | none |
| Kolmogorov's weak-type estimate for the conjugate function | 6VJDJZAYKA | statement | none |
| Feit–Thompson theorem | 6VK9RSG13Q | statement | none |
| Fundamental recurrence formulas | 6WYYMPH21Q | statement | none |
| Analyticity of the Laplace transform in its half-plane | 6X05N89XDP | statement | none |
| Invariance of domain | 6X2D0JDFQW | statement | none |
| Abel's lemma for multiple power series | 6YT8ZM6B0F | statement | none |
| Laurent phenomenon | 6YYPNKK6WZ | statement | none |
| Besicovitch covering theorem | 6ZDSVX9GAR | statement | none |
| Nine lemma | 6ZRRH96VZT | statement | none |
| Inverse iteration | 70QYCEWHVY | statement | none |
| Kiefer–Wolfowitz equivalence theorem | 71XBFB49HE | statement | none |
| Explicit formula | 72WNRWJQC1 | statement | none |
| Fredholm property of elliptic operators | 73ANTTKAH3 | statement | none |
| Lebesgue decomposition theorem | 74VMD07DRX | statement | none |
| Dirichlet conditions | 75ZQW12WY0 | statement | none |
| Egorov's theorem | 762Y2NYA7W | statement | none |
| Splitting circle method | 7680AP09J4 | statement | none |
| Künneth theorem | 77K0BZQ4MK | statement | none |
| Capacity and Hausdorff dimension | 77VNNV4VET | statement | none |
| Fundamental theorem of Riemannian geometry | 78JRW8KTH8 | statement | none |
| Jordan's theorem on primitive groups containing a prime cycle | 78R2TV41D4 | statement | none |
| Artin reciprocity law | 7938EKMMVR | statement | none |
| Oka–Weil theorem | 7AWZJNQGT2 | statement | none |
| Harnack inequality for parabolic equations | 7BY5D2THKW | statement | none |
| Modified Richardson iteration | 7CESYMHQEA | statement | none |
| Ehresmann's fibration theorem | 7CJ3P443NQ | statement | none |
| Kunen's inconsistency theorem | 7DEZD5TWT5 | statement | none |
| Freudenthal suspension theorem | 7DM2KSS2DB | statement | none |
| Markov theorem | 7F3QQQ63WR | statement | none |
| Thom–Mather isotopy lemmas | 7G1PCS2RPG | statement | none |
| Kodaira embedding theorem | 7G7CSM2NZ9 | statement | none |
| Sphere theorem | 7GRSF20H15 | statement | none |
| Identity theorem in several variables | 7GZ908QZ04 | statement | none |
| Schaefer's fixed point theorem | 7H3YSSDEBK | statement | none |
| Mairhuber–Curtis theorem | 7HA6EEDR9S | statement | none |
| Mertens' theorems | 7J3P1W042Y | statement | none |
| Wu's formula | 7KEDZ9TFEE | statement | none |
| von Neumann's inequality | 7KS1W5K54S | statement | none |
| Omitting types theorem | 7MFGBVDVG9 | statement | none |
| Quillen–Suslin theorem | 7N50GA46W1 | statement | none |
| Peano kernel theorem | 7N8E1BR67D | statement | none |
| Stone's theorem on paracompactness of metric spaces | 7QFKD5JXH6 | statement | none |
| Kummer's 24 solutions | 7QFW771QMA | statement | none |
| Smale–Hirsch theorem | 7R8W704VGW | statement | none |
| Delsarte linear programming bound | 7RPEDHAT7R | statement | none |
| Pontryagin's maximum principle | 7RPV2T29CF | statement | none |
| Lanczos algorithm | 7RRB4PCRJB | statement | none |
| Sylvester's determinant identity | 7SSKBQYFW1 | statement | none |
| Paley–Wiener theorem for Volterra resolvents | 7T9BZV552E | statement | none |
| Budan's theorem | 7THS519D4A | statement | none |
| Log-modulus of a holomorphic function is subharmonic | 7TXCCCA17A | statement | none |
| Hadwiger's theorem | 7V2X68AMEY | statement | none |
| Kakutani fixed-point theorem | 7V3HWGR32Z | statement | none |
| Bisection method | 7VMYC7MB3Q | statement | none |
| Superposition of solutions | 7W7VV861JW | statement | none |
| Comparison theorem | 7XTBR347P5 | statement | none |
| Hasse's theorem on elliptic curves | 7Y26317GJ0 | statement | none |
| Noether normalization lemma | 7Z28JY8QW4 | statement | none |
| Splitting lemma | 7ZGQKWYKQS | statement | none |
| Sunada's theorem | 7ZMWEDNCVQ | statement | none |
| Bishop's theorem on analytic sets | 7ZQ9FWZMP1 | statement | none |
| Mazur's lemma | 7ZR88SCSRF | statement | none |
| Hyperbolic law of cosines | 7ZYKHQRKSJ | statement | none |
| Euler's integral representation of the hypergeometric function | 812THX456R | statement | none |
| Hard Lefschetz theorem | 816AHR3DRT | statement | none |
