Missing theorems from Freek Wiedijk's 1000+ theorems project #

These theorems are not yet formalized in Lean (or, these formalizations are not entered in the database yet). Currently there are 1041 of them. Among these, 2 have their statement formalized. Here is the list of the formalized theorems.

Q12524: Schwenk's theorem
Q32182: Balinski's theorem
Q98831: Multiplication theorem
Q117553: Modigliani–Miller theorem
Q119450: Brianchon's theorem
Q132427: Rademacher's theorem
Q132469: Fermat's Last Theorem
Q154210: CPCTC
Q164262: Lebesgue covering dimension
Q174955: Mihăilescu's theorem
Q179467: Fourier theorem
Q179692: Independence of the axiom of choice
Q184410: Four color theorem
Q188745: Classification of Platonic solids
Q190026: Ford's theorem
Q190391X: Lyapunov's central limit theorem
Q190391: Central limit theorem
Q193882: Menelaus's theorem
Q193910: Euler's theorem
Q194919: Inverse eigenvalues theorem
Q195133: Wigner–Eckart theorem
Q204884: Löb's theorem
Q205966: Critical line theorem
Q207014: Independence of the parallel postulate
Q207244: Sela's theorem
Q208756: Castelnuovo theorem
Q211981: Hartman–Grobman theorem
Q213603: Ceva's theorem
Q225973: Ore's theorem
Q226014: Poincaré recurrence theorem
Q230848: Lamé’s theorem
Q240950: Faltings's theorem
Q241868: Thévenin's theorem
Q242045: Monotone class theorem
Q245098X: Bolzano's theorem
Q245902: Riesz–Thorin theorem
Q248931: Poincaré–Bendixson theorem
Q255996: Equipartition theorem
Q256303: Lax–Richtmyer theorem
Q260928: Jordan curve theorem
Q266291: Bloch's theorem
Q268031: Abel's binomial theorem
Q268132: Gauss–Wantzel theorem
Q273037: Bondy–Chvátal theorem
Q280116: Odd number theorem
Q282331: Addition theorem
Q282649: Pentagonal number theorem
Q283690: Arrival theorem
Q284960: Mordell–Weil theorem
Q285719: Thales's theorem
Q287347: Gradient theorem
Q321237: Green's theorem
Q332465: Absolute convergence theorem
Q338886: Divergence theorem
Q339495: Symphonic theorem
Q356895: Adiabatic theorem
Q357192: Holland's schema theorem
Q357858: Freyd's adjoint functor theorem
Q371685: Kraft–McMillan theorem
Q372037: Seifert–van Kampen theorem
Q376166: Cut-elimination theorem
Q377047: Butterfly theorem
Q377276: Cook's theorem
Q379048: Riemann–Roch theorem
Q380576: Measurable Riemann mapping theorem
Q383238: Hartogs's extension theorem
Q384142: Herbrand–Ribet theorem
Q386292: Prime number theorem
Q388525: Bell's theorem
Q401319: Puiseux's theorem
Q401905: Skorokhod's representation theorem
Q425432: Laurent expansion theorem
Q428134: Gauss–Markov theorem
Q467205: Fundamental theorems of welfare economics
Q467756: Stokes's theorem
Q487132: Infinite monkey theorem
Q488541: Fisher separation theorem
Q495412: Jordan–Schönflies theorem
Q504843: Mycielski's theorem
Q510197: Tutte theorem
Q512897: Brooks's theorem
Q523832: Carathéodory–Jacobi–Lie theorem
Q523876: Spin–statistics theorem
Q528955: Kochen–Specker theorem
Q528987: Von Neumann bicommutant theorem
Q535366: Montel's theorem
Q544292: Lagrange inversion theorem
Q544369: Glivenko–Cantelli theorem
Q552367: Berge's theorem
Q567843: Hahn–Mazurkiewicz theorem
Q574902: Tarski's indefinability theorem
Q578555: Noether's theorem
Q579515: Rao–Blackwell theorem
Q583147: Sard's theorem
Q586051: Haag–Łopuszański–Sohnius theorem
Q587081: Kolmogorov–Arnold–Moser theorem
Q588218: Koebe 1/4 theorem
Q594571: Van Aubel's theorem
Q595466: Dini's theorem
Q599876: Cochran's theorem
Q608294: Max flow min cut theorem
Q612021: Gibbard–Satterthwaite theorem
Q617417: Isoperimetric theorem
Q620602: Virial theorem
Q631561: Closed range theorem
Q632546X: Sylvester's theorem
Q637418: Napoleon's theorem
Q643513: Riesz–Fischer theorem
Q643826: Slutsky's theorem
Q646523: Pick's theorem
Q649469: Modularity theorem
Q649977: Shirshov–Cohn theorem
Q650738: Folk theorem
Q651593: Norton's theorem
Q656176: Schauder fixed-point theorem
Q656198: Maschke's theorem
Q656645: Hilbert's basis theorem
Q657469: Lefschetz fixed-point theorem
Q657469X: Lefschetz–Hopf theorem
Q657903: Hilbert–Waring theorem
Q660799: Darboux's theorem
Q671663: Coleman–Mandula theorem
Q676413: Dandelin's theorem
Q679800: Nyquist–Shannon sampling theorem
Q681406: Euler's rotation theorem
Q685437: Titchmarsh theorem
Q693083: Soundness theorem
Q719966: Toda's theorem
Q721695: Szemerédi–Trotter theorem
Q727102: Fermat's theorem (stationary points)
Q729359: Hadamard three-circle theorem
Q730222: Ham sandwich theorem
Q733081: Impossibility of angle trisection
Q737851: Banach–Tarski theorem
Q737892: Bendixson–Dulac theorem
Q739403: Stewart's theorem
Q740093: Peano existence theorem
Q742833: Gauss–Bonnet theorem
Q744440: Immerman–Szelepcsényi theorem
Q751120: Thue–Siegel–Roth theorem
Q755986: Atiyah–Bott fixed-point theorem
Q755991: Atiyah–Singer index theorem
Q766722: Liouville's theorem
Q776578: Artin–Wedderburn theorem
Q777924: Tijdeman's theorem
Q779220: Hilbert's syzygy theorem
Q780763: 15 and 290 theorems
Q784049: Blaschke selection theorem
Q790236: Baranyai's theorem
Q791258: Basu's theorem
Q791663: Beatty's theorem
Q794269: Betti's theorem
Q810431: Basel problem
Q828284: Parallel axis theorem
Q830124: Girsanov's theorem
Q830513: Residue theorem
Q834211: Wallace–Bolyai–Gerwien theorem
Q837551: Frobenius theorem
Q841893: Desargues's theorem
Q844612: Brun's theorem
Q845088: Pappus's centroid theorem
Q846840: Erdős–Kac theorem
Q848092: Borsuk–Ulam theorem
Q848810: Kronecker's theorem
Q850495: Wick's theorem
Q851166: Pappus's hexagon theorem
Q852183: Viviani's theorem
Q852973: Euler's polyhedron theorem
Q856032: CAP theorem
Q856158: Midy's theorem
Q857089: de Branges's theorem
Q858978: Castigliano's first and second theorems
Q859122: Cauchy–Hadamard theorem
Q865665: Birkhoff's theorem
Q867141: Ehresmann's theorem
Q867839: Rosser's theorem
Q869647: Szpilrajn extension theorem
Q872088: Boolean prime ideal theorem
Q877489: Apollonius's theorem
Q890875: Bohr–van Leeuwen theorem
Q897769: König's theorem
Q899002: Pascal's theorem
Q899853: H-theorem
Q900831: Fluctuation theorem
Q902052: Gödel's completeness theorem
Q902618: Floquet's theorem
Q906809: Hellmann–Feynman theorem
Q909517: Feit–Thompson theorem
Q913447: Morley's trisector theorem
Q913849: Minimax theorem
Q915474: Robin's theorem
Q922012: Green–Tao theorem
Q922367: Master theorem (analysis of algorithms)
Q925224: Sonnenschein–Mantel–Debreu Theorem
Q925854: Angle bisector theorem
Q927051: Riemann mapping theorem
Q928813: Menger's theorem
Q929547: Myers theorem
Q931001X: Constant rank theorem
Q931404: Bertrand–Diquet–Puiseux theorem
Q942046: Schwarz–Ahlfors–Pick theorem
Q944297: Open mapping theorem
Q951327: Pasch's theorem
Q953062: Reynolds transport theorem
Q954210: Savitch's theorem
Q965294: Thabit ibn Qurra's theorem
Q966837: Cramér–Wold theorem
Q973359: Rado's theorem
Q974405: Hille–Yosida theorem
Q976033: Gelfond–Schneider theorem
Q977912: Stolper–Samuelson theorem
Q978688: Gershgorin circle theorem
Q985009: Helmholtz's theorems
Q994401: Four-vertex theorem
Q995926: Perpendicular axis theorem
Q999783: Buckingham π theorem
Q1008566: Gauss–Lucas theorem
Q1037559: Pólya enumeration theorem
Q1046232: Szemerédi's theorem
Q1048589: Hohenberg–Kohn theorems
Q1048874: Gauss's Theorema Egregium
Q1050037: Coase theorem
Q1051404: Cesàro's theorem
Q1052021: Craig's interpolation theorem
Q1052752: Stolz–Cesàro theorem
Q1054106: Cox's theorem
Q1056283: May's theorem
Q1058662: Darboux's theorem
Q1059151: FWL theorem
Q1064471: Earnshaw's theorem
Q1068385: Clairaut's theorem
Q1075398: Jung's theorem
Q1076274: Choquet–Bishop–de Leeuw theorem
Q1077462: König's theorem
Q1077741: Hairy ball theorem
Q1095330: Apéry's theorem
Q1103054: Lions–Lax–Milgram theorem
Q1119094: Paley–Wiener theorem
Q1121027: Krylov–Bogolyubov theorem
Q1125462: Dinostratus' theorem
Q1129636: Lehmann–Scheffé theorem
Q1130846: Ladner's theorem
Q1131601: Sklar's theorem
Q1132952: Euler's theorem on homogeneous functions
Q1134296: Supporting hyperplane theorem
Q1134776: Dilworth's theorem
Q1135706: Harnack's theorem
Q1136043: Hurwitz's theorem
Q1136262: Optical theorem
Q1139430: Hurwitz's theorem
Q1139524: Rationality theorem
Q1140119: Morera's theorem
Q1140200: PCP theorem
Q1141747: Carnot's theorem
Q1143540: Heckscher–Ohlin theorem
Q1146791: Fermat polygonal number theorem
Q1148215: Mitchell's embedding theorem
Q1149185X: Kirby–Paris theorem
Q1149185: Goodstein's theorem
Q1149522: Lami's theorem
Q1152521: Mohr–Mascheroni theorem
Q1153441: Goldstone's theorem
Q1166774: Stone's representation theorem for Boolean algebras
Q1177508: Rédei's theorem
Q1179446: De Rham's theorem
Q1182249: Deduction theorem
Q1186134: Poncelet–Steiner theorem
Q1188048: Barbier's theorem
Q1188504: Pitman–Koopman–Darmois theorem
Q1191862: Rouché's theorem
Q1196538: Descartes's theorem
Q1196729: Mertens's theorems
Q1202608: De Gua's theorem
Q1209546: Kaplansky density theorem
Q1227061: Khinchin's theorem
Q1227702: Dirichlet's unit theorem
Q1227703: Dirichlet's approximation theorem
Q1242398: Doob decomposition theorem
Q1249069: Richardson's theorem
Q1276318: Schwartz kernel theorem
Q1305766: Poincaré–Hopf theorem
Q1306092: Nash embedding theorem
Q1307676: Künneth theorem
Q1308502: Church–Rosser theorem
Q1315949: Mittag-Leffler's theorem
Q1317350: Chen's theorem
Q1317367: Japanese theorem for concyclic polygons
Q1322892: Dirac's theorems
Q1330788: Weierstrass factorization theorem
Q1340623: Classification of finite simple groups
Q1347094: Alternate Interior Angles Theorem
Q1348736: Rybczynski theorem
Q1349282: Eilenberg–Zilber theorem
Q1357684: Riesz representation theorem
Q1361031: Frobenius theorem
Q1361393: Luzin's theorem
Q1366581: Erdős–Rado theorem
Q1369453: Kronecker–Weber theorem
Q1370316: Casey's theorem
Q1376515: No-hair theorem
Q1396592: Franel–Landau theorem
Q1420905: Hilbert's theorem 90
Q1422083: Ryll-Nardzewski fixed-point theorem
Q1423818: Euler's theorem in geometry
Q1424481: Frucht's theorem
Q1425077: Spectral theorem
Q1425308: Brahmagupta theorem
Q1425529: Chebotarev's density theorem
Q1434158: Fluctuation dissipation theorem
Q1434805: Max Noether's theorem
Q1443036: Parseval's theorem
Q1452678: Penrose–Hawking singularity theorems
Q1455794: Freudenthal suspension theorem
Q1457052: Well-ordering theorem
Q1471282: Radon's theorem
Q1472120: Hellinger–Toeplitz theorem
Q1505529: Runge's theorem
Q1529941: Peter–Weyl theorem
Q1530275: Dunford–Pettis theorem
Q1535225: Łoś' theorem
Q1543149: Sokhatsky–Weierstrass theorem
Q1547975: Mermin–Wagner theorem
Q1551745: Binomial inverse theorem
Q1555342: Reeh–Schlieder theorem
Q1564541: Perron–Frobenius theorem
Q1566372: Haag's theorem
Q1568612: Marden's theorem
Q1572474: Lindemann–Weierstrass theorem
Q1576235: Lochs's theorem
Q1602819: Lumer–Phillips theorem
Q1614464: Cauchy–Kowalevski theorem
Q1621180: Orlicz–Pettis theorem
Q1630588: Hurwitz's theorem
Q1631749: Lester's theorem
Q1631992: Steiner–Lehmus theorem
Q1632301: Sturm's theorem
Q1637085: Poynting's theorem
Q1660147: Mazur–Ulam theorem
Q1668861: Picard theorem
Q1683356: Japanese theorem for concyclic quadrilaterals
Q1694565: Vinogradov's theorem
Q1699024: John ellipsoid
Q1704878: Appell–Humbert theorem
Q1716166: Mercer's theorem
Q1720410: Hjelmslev's theorem
Q1724049: Wolstenholme's theorem
Q1727461: Intersecting secants theorem
Q1739994: Brauer–Suzuki theorem
Q1751105: Blum's speedup theorem
Q1751823: No-cloning theorem
Q1752516: Riemann series theorem
Q1752988: Kutta–Joukowski theorem
Q1756194: Shannon–Hartley theorem
Q1765521: Doob's martingale convergence theorems
Q1766814: Smn theorem
Q1785610: Poncelet's closure theorem
Q1785872: Berry–Esséen theorem
Q1786292: Schur's theorem
Q1786419: Kramers' theorem
Q1789863: Routh's theorem
Q1809539: Pizza theorem
Q1841237: Fubini's theorem on differentiation
Q1855610: Theorem of de Moivre–Laplace
Q1888583: Holditch's theorem
Q1896455: Varignon's theorem
Q1899432: Grothendieck–Hirzebruch–Riemann–Roch theorem
Q1914905: Ramanujan–Skolem's theorem
Q1930577: Herbrand's theorem
Q1933521: Kleene's recursion theorem
Q1938251: Hasse–Minkowski theorem
Q1946642X: S–cobordism theorem
Q1946642: H-cobordism theorem
Q1964537: Mergelyan's theorem
Q1966978: Lévy continuity theorem
Q1974087: Riemann's theorem on removable singularities
Q1995468: Hölder's theorem
Q1996305: Burnside's theorem
Q2000090: Art gallery theorem
Q2008549: Hilbert's theorem
Q2013213: Reuschle's theorem
Q2022775: Hilbert–Schmidt theorem
Q2028341: Ado's theorem
Q2046647: Karhunen–Loève theorem
Q2063099: Poincaré duality theorem
Q2068227: Artin–Schreier theorem
Q2071632: Rouché–Capelli theorem
Q2094241: Hopf–Rinow theorem
Q2096184: Plancherel theorem
Q2109761: Uniformization theorem
Q2120067: Diller–Dress theorem
Q2190744: Feuerbach's theorem
Q2197859: Nicomachus's theorem
Q2222575: Shell theorem
Q2226602: Bauer–Fike theorem
Q2226606: Beckman–Quarles theorem
Q2226610: Banach–Mazur theorem
Q2226624: Bruck–Chowla–Ryser theorem
Q2226625: Commandino's theorem
Q2226640: Cramér’s decomposition theorem
Q2226644: Easton's theorem
Q2226650: Eberlein–Šmulian theorem
Q2226677: Gelfand–Mazur theorem
Q2226682: Gelfand–Naimark theorem
Q2226691: Kirchhoff's theorem
Q2226695: Hurwitz's automorphisms theorem
Q2226698: Kantorovich theorem
Q2226709: Krull–Schmidt theorem
Q2226750: Malgrange–Ehrenpreis theorem
Q2226774: König's theorem
Q2226803: Tennenbaum's theorem
Q2226807: Vantieghems theorem
Q2226868: Geometric mean theorem
Q2226962: Weierstrass–Casorati theorem
Q2266397: Intersecting chords theorem
Q2267175: Tangent-secant theorem
Q2269888: Cohn's irreducibility criterion
Q2270905: Poincaré–Birkhoff–Witt theorem
Q2277040: Shannon's expansion theorem
Q2287393: Caristi fixed-point theorem
Q2309682: Sphere theorem
Q2309760: Looman–Menchoff theorem
Q2310718: Pitot theorem
Q2338929: Exchange theorem
Q2345282: Shannon's theorem
Q2347139: Carnot's theorem
Q2360531: Jordan–Schur theorem
Q2374733: Skolem–Mahler–Lech theorem
Q2376918: Abelian and Tauberian theorems
Q2378270: Thue's theorem
Q2379128: Lindström's theorem
Q2379132: Going-up and going-down theorems
Q2394548: Hurewicz theorem
Q2411312: Shannon's source coding theorem
Q2428364: Clausius theorem
Q2449984: Miquel's theorem
Q2449984X: Pivot theorem
Q2473965: Ugly duckling theorem
Q2478371: Envelope theorem
Q2482753: Mann's theorem
Q2495664: Universal coefficient theorem
Q2500406: Liénard's theorem
Q2500408: Thébault's theorem
Q2518048: Kodaira vanishing theorem
Q2524990: Jackson's theorem
Q2533936: Descartes's theorem on total angular defect
Q2540738: Cartan–Dieudonné theorem
Q2558669: Artin–Zorn theorem
Q2588432: Wold's theorem
Q2600653: Taylor–Proudman theorem
Q2607007: Hinge theorem
Q2621667: Nagata–Smirnov metrization theorem
Q2631152: Carathéodory's extension theorem
Q2635326: Structured program theorem
Q2638931: Convolution theorem
Q2703389: Linnik's theorem
Q2733672: Price's theorem
Q2734084: Bohr–Mollerup theorem
Q2793600: Stark–Heegner theorem
Q2799491: Ringel–Youngs theorem
Q2800071: Perfect graph theorem
Q2862403: Bombieri's theorem
Q2893695: Unmixedness theorem
Q2916568: Gomory's theorem
Q2981012: Monge's theorem
Q2984415: Hajnal–Szemerédi theorem
Q2993026: Ankeny–Artin–Chowla theorem
Q2993308: Cameron–Erdős theorem
Q2993319: Mirsky–Newman theorem
Q2995691: Newlander–Niremberg theorem
Q3001796: Skolem–Noether theorem
Q3007384: Post's theorem
Q3075250: Hardy–Littlewood maximal theorem
Q3077634: Sahlqvist correspondence theorem
Q3088644: Goldstine theorem
Q3154003: Le Cam's theorem
Q3180727: Perlis theorem
Q3229335: Borel–Carathéodory theorem
Q3345678: Moore–Aronszajn theorem
Q3424029: Chasles's theorems
Q3443426: Bondy's theorem
Q3458641: Szegő limit theorems
Q3502015: Hasse's theorem on elliptic curves
Q3505260: Cayley–Salmon theorem
Q3526969: AF+BG theorem
Q3526976: Ax–Kochen theorem
Q3526982: Erdős–Anning theorem
Q3526990: Euler's theorem
Q3526993: Takagi existence theorem
Q3526998: Excision theorem
Q3527004: BEST theorem
Q3527008: Balian–Low theorem
Q3527009: Baker's theorem
Q3527011: Beck's theorem
Q3527015: Bernstein's theorem
Q3527017: Beurling–Lax theorem
Q3527019: Birch's theorem
Q3527034: Cauchy's theorem
Q3527040: Chomsky–Schützenberger representation theorem
Q3527044: Pappus's area theorem
Q3527054: De Bruijn–Erdős theorem (graph theory)
Q3527056: De Bruijn–Erdős theorem (incidence geometry)
Q3527064: Donsker's theorem
Q3527067: F. and M. Riesz theorem
Q3527071: Fáry–Milnor theorem
Q3527079: Freiman's theorem
Q3527088: Haboush's theorem
Q3527091: Gromov's theorem on groups of polynomial growth
Q3527093: Hilbert–Speiser theorem
Q3527095: Jacobi's four-square theorem
Q3527100: Kruskal's tree theorem
Q3527110: Lax–Wendroff theorem
Q3527113: Lie–Kolchin theorem
Q3527125: Monsky's theorem
Q3527129: Müntz–Szász theorem
Q3527132: Nagell–Lutz theorem
Q3527155: Robertson–Seymour theorem
Q3527162: Sophie Germain's theorem
Q3527166: Steinhaus theorem
Q3527171: Synge's theorem
Q3527185: Whitehead theorem
Q3527196: Principal ideal theorem
Q3527209: Hasse norm theorem
Q3527214: Non-squeezing theorem
Q3527217: M. Riesz extension theorem
Q3527219: Weierstrass preparation theorem
Q3527223: Crystallographic restriction theorem
Q3527226: Linear speedup theorem
Q3527230: Von Staudt–Clausen theorem
Q3527233: Kolmogorov's three-series theorem
Q3527241: Krull's principal ideal theorem
Q3527245: Six exponentials theorem
Q3527247: Six circles theorem
Q3527279: Wiener's tauberian theorem
Q3534036: Pompeiu's theorem
Q3613173: Tits alternative
Q3661294: Kelvin's circulation theorem
Q3699212: Saint-Venant's theorem
Q3711848: Sobolev embedding theorem
Q3757563: Intercept theorem
Q3771212: Proth's theorem
Q3889376: Carmichael's theorem
Q3893473: Tameness theorem
Q3915398: Brunn–Minkowski theorem
Q3983968: Sturm–Picone comparison theorem
Q3983972: Simplicial approximation theorem
Q3984011: Duggan–Schwartz theorem
Q3984017: Helly's selection theorem
Q3984020: Holmström's theorem
Q3984052: Equidistribution theorem
Q3984056: No-communication theorem
Q3984063: Mostow rigidity theorem
Q3984069: Fredholm's theorem
Q4054114: ATS theorem
Q4116459: Niven's theorem
Q4171386: Soul theorem
Q4179283: Positive energy theorem
Q4272300: Initial value theorem
Q4272645: Final value theorem
Q4378889: Carathéodory's theorem
Q4408070: De Finetti's theorem
Q4454910: Ostrowski–Hadamard gap theorem
Q4454919: Aumann's agreement theorem
Q4454925: Edge-of-the-wedge theorem
Q4454954: Kirszbraun theorem
Q4454958: Min-max theorem
Q4454973: Lindelöf's theorem
Q4454976: Liouville's theorem
Q4454989: Meusnier's theorem
Q4454996: Novikov's compact leaf theorem
Q4455003: Pomeranchuk's theorem
Q4455015: Routh–Hurwitz theorem
Q4455016: Reeb sphere theorem
Q4455023: Sazonov's theorem
Q4455025: No wandering domain theorem
Q4455030: Stone's theorem on one-parameter unitary groups
Q4455031: Fáry's theorem
Q4455033: Fatou's theorem
Q4455037: Hardy's theorem
Q4455043: Cayley–Bacharach theorem
Q4455046: Monodromy theorem
Q4634017: 2π theorem
Q4663326: Hirzebruch–Riemann–Roch theorem
Q4666729: Abel–Jacobi theorem
Q4666729X: Abel's curve theorem
Q4667501: Abhyankar–Moh theorem
Q4677985: Acyclic models theorem
Q4700718: Akhiezer's theorem
Q4712316: Albert–Brauer–Hasse–Noether theorem
Q4713046: Alchian–Allen theorem
Q4724004B: Riemann's existence theorem
Q4724004A: Chow's theorem
Q4734002: Gromov–Ruh theorem
Q4734844: Alperin–Brauer–Gorenstein theorem
Q4736422: Denjoy theorem
Q4746948: Amitsur–Levitzki theorem
Q4751110: Analyst's traveling salesman theorem
Q4751118: Analytic Fredholm theorem
Q4753992: Anderson's theorem
Q4756099: Andreotti–Frankel theorem
Q4783822: Arithmetic Riemann–Roch theorem
Q4788680: Area theorem (conformal mapping)
Q4801169: Artin approximation theorem
Q4801183: Artin–Verdier duality theorem
Q4801563: Artstein's theorem
Q4815879: Atiyah–Segal completion theorem
Q4815899: Atkinson's theorem
Q4826848: Autonomous convergence theorem
Q4827308: Auxiliary polynomial theorem
Q4832965: Aztec diamond theorem
Q4838119: Babuška–Lax–Milgram theorem
Q4848497: Baily–Borel theorem
Q4853767: Banach–Stone theorem
Q4857506: Bapat–Beg theorem
Q4865980: Barwise compactness theorem
Q4866385: Base change theorems
Q4866385X: Proper base change theorem
Q4877965: Beauville–Laszlo theorem
Q4878586: Beck's monadicity theorem
Q4880958: Behnke–Stein theorem
Q4884789: Beltrami's theorem
Q4884950: Belyi's theorem
Q4891633: Berger–Kazdan comparison theorem
Q4894565: Bernstein's theorem
Q4914101: Bing's recognition theorem
Q4916483: Birkhoff–Grothendieck theorem
Q4918128: Bishop–Cannings theorem
Q4927458: Blondel's theorem
Q4937691: Bogoliubov–Parasyuk theorem
Q4941364: Bondareva–Shapley theorem
Q4942215: Bonnet theorem
Q4944906: Borel determinacy theorem
Q4944908: Borel fixed-point theorem
Q4944923: Borel–Bott–Weil theorem
Q4944923X: Borel–Weil theorem
Q4948983: Bott periodicity theorem
Q4949984: Bounded inverse theorem
Q4950096: Bourbaki–Witt theorem
Q4956438: Branching theorem
Q4958218: Brauer's theorem on induced characters
Q4958221: Brauer's three main theorems
Q4958227: Brauer–Nesbitt theorem
Q4958230: Brauer–Siegel theorem
Q4958233: Brauer–Suzuki–Wall theorem
Q4971339: British flag theorem
Q4975963: Brown's representability theorem
Q4979609: Brun–Titchmarsh theorem
Q4991415: Chowla–Mordell theorem
Q4998912: Burke's theorem
Q5001327: Busemann's theorem
Q5005143: Bôcher's theorem
Q5005965: C-theorem
Q5026435: Cameron–Martin theorem
Q5037752: Carathéodory's existence theorem
Q5041175: Carleson–Jacobs theorem
Q5042898: Carlson's theorem
Q5047043: Cartan's theorems A and B
Q5047046: Brauer–Cartan–Hua theorem
Q5047048: Cartan–Hadamard theorem
Q5047051: Cartan–Kuranishi prolongation theorem
Q5047052: Cartan–Kähler theorem
Q5049717: Castelnuovo–de Franchis theorem
Q5091194: Cheng's eigenvalue comparison theorem
Q5094298: Chevalley's structure theorem
Q5094305: Chevalley–Shephard–Todd theorem
Q5103861: Choi's theorem on completely positive maps
Q5125859: Clapeyron's theorem
Q5127710: Clark–Ocone theorem
Q5132839: Clifford's circle theorems
Q5132840: Clifford's theorem on special divisors
Q5136698: Cluster decomposition theorem
Q5139948: Codd's theorem
Q5141331: Cohen structure theorem
Q5155090: Commutation theorem
Q5157054: Compression theorem
Q5161245: Conley–Zehnder theorem
Q5163116: Conservativity theorem
Q5165492: Continuous mapping theorem
Q5166389: Van Vleck's theorem
Q5172143: Corona theorem
Q5178114: Courcelle's theorem
Q5180651: Craig's theorem
Q5187911: Crooks fluctuation theorem
Q5188510: Crossbar theorem
Q5195996: Curtis–Hedlund–Lyndon theorem
Q5221089: Danskin's theorem
Q5242704: Dawson–Gärtner theorem
Q5244285: de Bruijn's theorem
Q5244361: De Franchis theorem
Q5251122: Time hierarchy theorem
Q5252320: Lickorish twist theorem
Q5278348: Galvin's theorem
Q5282059: Harish–Chandra theorem
Q5282247: Disintegration theorem
Q5295351: Donaldson's theorem
Q5296972: Doob–Meyer decomposition theorem
Q5299605: Glivenko's theorem
Q5311783: Dudley's theorem
Q5315060: Dunford–Schwartz theorem
Q5319505: Zeilberger–Bressoud theorem
Q5337931: Edgeworth's limit theorem
Q5362000: Elitzur's theorem
Q5384150: Equal incircles theorem
Q5385323: Erdős–Gallai theorem
Q5385324: Erdős–Nagy theorem
Q5385325: Erdős–Pósa theorem
Q5385326: Erdős–Stone theorem
Q5421989: Exterior angle theorem
Q5436274: Farrell–Markushevich theorem
Q5438320: Faustman–Ohlin theorem
Q5443003: Fenchel's duality theorem
Q5443004: Fenchel's theorem
Q5443005: Fenchel–Moreau theorem
Q5445112: Fernique's theorem
Q5445311: Ferrero–Washington theorem
Q5447238: Fieller's theorem
Q5454965: Fisher–Tippett–Gnedenko theorem
Q5455495: Fitting's theorem
Q5456213: Five circles theorem
Q5463860: Focal subgroup theorem
Q5473576: Foster's theorem
Q5494134: Fraňková–Helly selection theorem
Q5498822: Birkhoff's theorem
Q5499906: Shirshov–Witt theorem
Q5501344: Freidlin–Wentzell theorem
Q5503689: Bombieri–Friedlander–Iwaniec theorem
Q5505098: Frobenius determinant theorem
Q5505114: Froda's theorem
Q5506929: Fuchs's theorem
Q5507285: Fuglede's theorem
Q5508180: Full employment theorem
Q5508482: Fulton–Hansen connectedness theorem
Q5508973: Fundamental theorem of arbitrage-free pricing
Q5530454: Gell-Mann and Low theorem
Q5552370: Geroch's splitting theorem
Q5566491: Glaisher's theorem
Q5567394: Gleason's theorem
Q5576268: Goddard–Thorn theorem
Q5579030: Goldberg–Sachs theorem
Q5580171: Goldie's theorem
Q5586067: Gordon–Newell theorem
Q5588002: Gottesman–Knill theorem
Q5597098: Graph structure theorem
Q5609384: Grinberg's theorem
Q5610188: Gromov's compactness theorem
Q5610190: Gromov's compactness theorem
Q5610718: Grothendieck's connectedness theorem
Q5612131: Grunsky's theorem
Q5612159: Grunwald–Wang theorem
Q5612871: Grötzsch's theorem
Q5638112: Hadwiger's theorem
Q5638886: Hahn embedding theorem
Q5643485: Halpern–Läuchli theorem
Q5645731: Hammersley–Clifford theorem
Q5656673: Hardy–Littlewood tauberian theorem
Q5656674: Hardy–Ramanujan theorem
Q5657833: Harish–Chandra's regularity theorem
Q5659675: Harnack's curve theorem
Q5675112: Hartogs–Rosenthal theorem
Q5680041: Hasse–Arf theorem
Q5697916B: Waldhausen's theorem
Q5697916A: Reidemeister–Singer Theorem
Q5697927: Gross–Zagier theorem
Q5709171: Helly–Bray theorem
Q5709377: Helmholtz theorem (classical mechanics)
Q5761142: Hilbert's irreducibility theorem
Q5874979: Hobby–Rice theorem
Q5876058: Hodge index theorem
Q5988409: Identity theorem for Riemann surfaces
Q6015420: Increment theorem
Q6059532: Aronszajn–Smith theorem
Q6086104: Isomorphism extension theorem
Q6119825: Jacobson–Bourbaki theorem
Q6276298: Jordan's theorem (multiply transitive groups)
Q6344729: Kachurovskii's theorem
Q6360586: Kanamori–McAloon theorem
Q6373327: Karp–Lipton theorem
Q6378596: Katz–Lang finiteness theorem
Q6379606: Kawamata–Viehweg vanishing theorem
Q6379715: Kawasaki's theorem
Q6387087: Kempf–Ness theorem
Q6400676: Kharitonov's theorem
Q6402928: Lagrange reversion theorem
Q6403282: Lagrange's theorem
Q6407842: Killing–Hopf theorem
Q6414200: Kinoshita–Lee–Nauenberg theorem
Q6421981: Kneser's theorem
Q6425088: Kodaira embedding theorem
Q6436753: Krener's theorem
Q6442276: Kuiper's theorem
Q6446396: Kurosh subgroup theorem
Q6455211: Kōmura's theorem
Q6456122: L-balance theorem
Q6471668: Lafforgue's theorem
Q6481192: Lambek–Moser theorem
Q6484331: Landau prime ideal theorem
Q6501470: Lauricella's theorem
Q6513990: Lee Hwa Chung theorem
Q6516611: Lee–Yang theorem
Q6516731: Lefschetz hyperplane theorem
Q6516736: Lefschetz theorem on (1,1)-classes
Q6528747: Leray's theorem
Q6528751: Leray–Hirsch theorem
Q6528849: Lerner symmetry theorem
Q6535568: Levi's theorem
Q6535741: Levitzky's theorem
Q6544508: Lie–Palais theorem
Q6701653: Lukacs's proportion-sum independence theorem
Q6707093: Lyapunov–Malkin theorem
Q6711207: Lévy's modulus of continuity theorem
Q6722024: MacMahon Master theorem
Q6733278: Maharam's theorem
Q6734194: Mahler's compactness theorem
Q6735549: Maier's theorem
Q6743217: Malgrange preparation theorem
Q6749789: Manin–Drinfeld theorem
Q6760432: Marginal value theorem
Q6771536: Markus−Yamabe theorem
Q6777133: Martingale representation theorem
Q6783821: Mason–Stothers theorem
Q6795637: Maximal ergodic theorem
Q6795830: Separating axis theorem
Q6796056: Maxwell's theorem
Q6799039: Mazur's control theorem
Q6859627: Milliken's tree theorem
Q6859648: Milliken–Taylor theorem
Q6860180: Milman–Pettis theorem
Q6867853: Minkowski's second theorem
Q6867867: Minkowski–Hlawka theorem
Q6867878: Minlos's theorem
Q6911202: Moreau's theorem
Q6914794: Morton's theorem
Q6925496: Mountain pass theorem
Q6927135: Moving equilibrium theorem
Q6935007: Multiplicity-one theorem
Q6935403: Mumford vanishing theorem
Q6957141: Nachbin's theorem
Q6967039: Nash–Moser theorem
Q7020025: Newton's theorem about ovals
Q7031618: Nielsen realization problem
Q7031621: Nielsen fixed-point theorem
Q7042768: No-broadcasting theorem
Q7042801: No-trade theorem
Q7043732: Kuhn's theorem
Q7045226: No free lunch theorem
Q7047379: Noether's theorem on rationality for surfaces
Q7098850: Optical equivalence theorem
Q7100033A: Orbit theorem (Nagano–Sussmann)
Q7100033B: Rashevsky–Chow theorem
Q7103669: Ornstein theorem
Q7106480: Oseledec theorem
Q7127466: Paley's theorem
Q7130794: Pandya theorem
Q7137494: Paris–Harrington theorem
Q7139570: Parovicenko's theorem
Q7140218: Parthasarathy's theorem
Q7160302: Peeling theorem
Q7160489: Peetre theorem
Q7160983: Peixoto's theorem
Q7190748: Pickands–Balkema–de Haan theorem
Q7200963: Planar separator theorem
Q7208500: Poisson limit theorem
Q7239984: Preimage theorem
Q7245073: Principal axis theorem
Q7249519: Prokhorov's theorem
Q7255475: Pseudorandom generator theorem
Q7269076: No-deleting theorem
Q7269106: Quantum threshold theorem
Q7269437: Denjoy–Carleman theorem
Q7269559: Sylvester pentahedral theorem
Q7272004: Quillen–Suslin theorem
Q7272898: Quotient of subspace theorem
Q7283856: Raikov's theorem
Q7288988: Ramanujam vanishing theorem
Q7295875: Ratner's theorems
Q7296106: Rauch comparison theorem
Q7307252: Reflection theorem
Q7308146: Regev's theorem
Q7309601: Whitney–Graustein Theorem
Q7310041: Reider's theorem
Q7312009: Remmert–Stein theorem
Q7318284: Reversed compound agent theorem
Q7322366: Ribet's theorem
Q7323144: Rice–Shapiro theorem
Q7333126: Riemann–Roch theorem for surfaces
Q7341043: Robbins theorem
Q7352955: Robinson's joint consistency theorem
Q7359997: Rokhlin's theorem
Q7396621: Saccheri–Legendre theorem
Q7430892: Schaefer's dichotomy theorem
Q7431298: Schilder's theorem
Q7431925: Schnyder's theorem
Q7432872: Schreier refinement theorem
Q7432918: Schröder–Bernstein theorems for operator algebras
Q7433034: Great orthogonality theorem
Q7433295: Osterwalder–Schrader theorem
Q7437564: Scott core theorem
Q7455422: Swan's theorem
Q7496252: Shift theorem
Q7510574: Siegel–Walfisz theorem
Q7512855: Hirzebruch signature theorem
Q7516736: Silverman–Toeplitz theorem
Q7524563: Sinkhorn's theorem
Q7525341: Sion's minimax theorem
Q7525845: Sipser–Lautemann theorem
Q7532192: Siu's semicontinuity theorem
Q7536097: Skoda–El Mir theorem
Q7536350: Skorokhod's embedding theorem
Q7572588: Space hierarchy theorem
Q7574438: Specht's theorem
Q7597316: Stallings theorem about ends of groups
Q7597317: Stallings–Zeeman theorem
Q7599389: Stanley's reciprocity theorem
Q7601243: Star of David theorem
Q7606897: Steinitz theorem
Q7606940: Stein–Strömberg theorem
Q7617407: Stinespring factorization theorem
Q7619060: The duality theorem
Q7619449: Stone–von Neumann theorem
Q7621715: Strassmann's theorem
Q7625164: Structure theorem for Gaussian measures
Q7632041: Subspace theorem
Q7644264: Supersymmetry nonrenormalization theorems
Q7660749: Sylvester's determinant theorem
Q7661308: Symmetric hypergraph theorem
Q7664013: Sz.-Nagy's dilation theorem
Q7686760: Bang's theorem
Q7782345: Bertini's theorem
Q7782346: Theorem of the cube
Q7782348: Theorem of three moments
Q7795825: Thompson transitivity theorem
Q7795828: Thompson uniqueness theorem
Q7809920: Titchmarsh convolution theorem
Q7818977: Tomita's theorem
Q7824894: Topkis's theorem
Q7825061: Toponogov's theorem
Q7825663: Torelli theorem
Q7827204: Mazur's torsion theorem
Q7841060: Trichotomy theorem
Q7845353: Trombi–Varadarajan theorem
Q7847268: Trudinger's theorem
Q7849521: Tsen's theorem
Q7853325: Tunnell's theorem
Q7856599: Turán–Kubilius theorem
Q7857350: Tverberg's theorem
Q7894110: Universal approximation theorem
Q7911648: Valiant–Vazirani theorem
Q7928688: Vietoris–Begle mapping theorem
Q7936914: Vitali–Hahn–Saks theorem
Q7941491: Von Neumann's theorem
Q7959587: Wagner's theorem
Q7966545: Walter theorem
Q7978735: Weber's theorem
Q7980241: Weinberg–Witten theorem
Q7996766: Whitney extension theorem
Q7996769: Whitney immersion theorem
Q7999144: Wiener–Ikehara theorem
Q7999797: Beer's theorem
Q8002487: Wilkie's theorem
Q8028529: Witt's theorem
Q8062800: Z* theorem
Q8063120: ZJ theorem
Q8064722: Zahorski theorem
Q8066611: Kövari–Sós–Turán theorem
Q8066795: Zariski's main theorem
Q8081891: Śleszyński–Pringsheim theorem
Q10369454: Noether's second theorem
Q10859514: Vafa–Witten theorem
Q10942247: Hironaka theorem
Q11573495: Plancherel theorem for spherical functions
Q11704319: Chern–Gauss–Bonnet theorem
Q11722674: Takens's theorem
Q11883897: Nagata's compactification theorem
Q15080987: Lie's third theorem
Q15813392: Barban–Davenport–Halberstam theorem
Q15830473: Morley's categoricity theorem
Q15844093: Van Schooten's theorem
Q15859323: Anne's theorem
Q15872491: Newton's theorem (quadrilateral)
Q15895894: Finsler–Hadwiger theorem
Q16680059: Strong perfect graph theorem
Q16978447: Grauert–Riemenschneider vanishing theorem
Q17001601: 2-factor theorem
Q17002391: Arrow-Lind theorem
Q17003552: Alexandrov's uniqueness theorem
Q17008559: Davenport–Schmidt theorem
Q17017973: Godunov's theorem
Q17018210: Golod–Shafarevich theorem
Q17019684: Grushko theorem
Q17029787: Higman's embedding theorem
Q17080564: Zariski's connectedness theorem
Q17081508: Bing metrization theorem
Q17082552: Mutual fund separation theorem
Q17089994X: Tikhonov fixed-point theorem
Q17089994: Fixed-point theorems in infinite-dimensional spaces
Q17098075: Jurkat–Richert theorem
Q17098298: Jacobson density theorem
Q17098379: Kaplansky's theorem on quadratic forms
Q17101806: Intersection theorem
Q17102744: Riemann–Roch theorem for smooth manifolds
Q17103352: Maximum power theorem
Q17104025: Riemann singularity theorem
Q17104863: Nielsen–Ninomiya theorem
Q17125544: Lickorish–Wallace theorem
Q18205730: Byers–Yang theorem
Q18206032: Cartan's theorem
Q18630480: Euler's quadrilateral theorem
Q19323571: Chomsky–Schützenberger enumeration theorem
Q19779530: Thomsen's theorem
Q20278711: Cramer's theorem (algebraic curves)
Q20971632: Lie's theorem
Q25099402: Kolmogorov–Arnold representation theorem
Q25303622: Browder–Minty theorem
Q25304227: Arakelyan's theorem
Q25304301: Bregman–Minc inequality
Q25345219: BBD decomposition theorem
Q25378690: Ionescu-Tulcea theorem
Q26877569: Furry's theorem
Q28194853: Lovelock's theorem
Q28458131: Glivenko's theorem
Q31838822: Kirchberger's theorem
Q48996535: Solèr's theorem
Q48998319: Frobenius reciprocity theorem
Q55647729: Cramér's theorem (large deviations)
Q56291669: Alspach's theorem
Q60681777: Constant chord theorem
Q61163749: Theorem of the gnomon
Q62051012: Behrend's theorem
Q96375449: Conway circle theorem
Q96377355: Erdős–Dushnik–Miller theorem
Q97359729: Stahl's theorem
Q104841721: Jacobson–Morozov theorem
Q104871594: Joubert's theorem
Q105222412: Five color theorem
Q107535899: Bochner's tube theorem
Q107547910: Malgrange–Zerner theorem
Q107709489: Büchi-Elgot-Trakhtenbrot theorem
Q107710112: Cantor's isomorphism theorem
Q110921617: Feferman–Vaught theorem
Q111982312: Friedberg–Muchnik theorem
Q112659261: Gamas's Theorem
Q112740521: Netto's theorem