Math 2.0

Inventory: T

The rows of the inventory whose names start with T. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Rows 6301–6400 of 11759.

NameIdKindOutcomeSources
Theorem GF474Y1XWF7ERstatementopenWikipedia Infinite compositions of analytic functions#BJIB
Theorem I17KM6PV4E3statementopenWikipedia Order of integration (calculus)#XYXI
Theorem IIXFA1XP6DWYstatementopenWikipedia Order of integration (calculus)#9MF9
Theorem LFT1QEE3CHPF5NstatementopenWikipedia Infinite compositions of analytic functions#1V0E
Theorem LFT2509Y0CSYSPstatementopenWikipedia Infinite compositions of analytic functions#9VXI
Theorem LFT3ZD0JC952HJstatementopenWikipedia Infinite compositions of analytic functions#1V5L
Theorem LFT43S5BMMWPTBstatementopenWikipedia Infinite compositions of analytic functions#08OC
Theorem of absolute purityRDMFXB9F4VstatementopenWikipedia Theorem of absolute purity, Wikidata Q85808988
Theorem of Ambrose–Kakutani–Krengel–KuboZTEZM2T9QMstatementopenWikipedia Ergodic flow#ZRRT
Theorem of Apollonios on conjugate diametersRVT765MR6TstatementopenWikipedia Ellipse#H1ED
theorem of BertiniHSVXM8CNXQstatementopenmathlib_1000 Q7782345, Wikidata Q7782345, thousand_plus Q7782345, Wikipedia Bertini's theorem, EoM Bertini_theorems, Wikipedia Theorem of Bertini
Theorem of corresponding statesBDXR9865C7statementopenWikipedia Theorem of corresponding states, Wikidata Q906849
Theorem of de Moivre–LaplaceS4ZFV4KHDEstatementopenWikipedia List of theorems#824M
Theorem of Eisenbud–Evans–StorchST2HP3GH3PstatementopenWikipedia Uwe Storch#KLVI
Theorem of Gabriel and Zisman8NFKTNBB8FstatementopenWikipedia Fibration of simplicial sets#UNXX
Theorem of Hadamard and de la Vallée-PoussinA4H5T0KW8RstatementopenWikipedia Riemann hypothesis#CAW2
theorem of holomorphic functions under integral domainsCMH13P48Z5unknownopenmathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > theorem of holomorphic functions under integral domains
Theorem of KahnS0TRSG2PBDstatementopenWikipedia Bundle theorem#YVWO
Theorem of MiquelVX5X3NAPTBstatementopenWikipedia Laguerre plane#TXQ7
Theorem of OkaJ6KWWK1F5BstatementopenWikipedia Plurisubharmonic function#1L3Y
Theorem of SerrePE6G55BMAWstatementopenWikipedia Dimension theory (algebra)#RANQ
Theorem of the cube1ZJ0FBKDGWstatementopenWikipedia List of theorems#ZB55
Theorem of the cube9D88EACZXHstatementopenmathlib_1000 Q7782346, Wikidata Q7782346, thousand_plus Q7782346, Wikipedia Theorem of the cube
Theorem of the gnomonHZCRBTXY5Vstatementopenmathlib_1000 Q61163749, Wikidata Q61163749, thousand_plus Q61163749, Wikipedia Theorem of the gnomon
Theorem of the gnomonJ8FZWGG341statementopenWikipedia List of theorems#NZEW
theorem of the highest weightA3DDZCTJ2CstatementopenWikidata Q56276831, MathWorld HighestWeightTheorem, Wikipedia Theorem of the highest weight
Theorem of the highest weightV4E5BF064HstatementopenWikipedia Weight (representation theory)#GMWO
Theorem of the squareRJ5WZF16KTstatementopenWikipedia Theorem of the cube#8GPJ
Theorem of the three geodesicsPGT3WEY4RJstatementopenWikipedia Theorem of the three geodesics, Wikidata Q25143636
Theorem of three momentsCVS5094B1Qstatementopenmathlib_1000 Q7782348, Wikidata Q7782348, thousand_plus Q7782348, Wikipedia Theorem of three moments
Theorem of three momentsM9C8SFJ8W6statementopenWikipedia List of theorems#WAYZ
Theorem of transitionH1D4QYZ9VJstatementopenWikipedia Theorem of transition, Wikidata Q85808992
Theorem of uniform expansivity62QX1M8F3BstatementopenWikipedia Expansive homeomorphism#17L0
Theorem on convergenceGNRY2DXZVSstatementopenWikipedia Szász–Mirakyan operator#GIPT
Theorem on formal functionsZDWQ7Q6X94statementopenWikipedia Theorem on formal functions, Wikidata Q7782347
theorem on friends and strangersDT1JY1VBS5statementnode (a node has the same Wikidata item as the row)mathlib_1000 Q837506, Wikidata Q837506, thousand_plus Q837506, Wikipedia Theorem on friends and strangers, ProofWiki Friendship_Theorem
Theorem on friends and strangersZK6MSVNVKKstatementopenWikipedia List of theorems#RWN9
Theorem on Lipschitzian OperatorsTMXDPBY4ZQstatementopenWikipedia Nemytskii operator#3L18
Theorem on power-law equivalent moments in electrostaticsJPKXFAJNY2statementopenWikipedia Harmonic tensors#2YQV
Theorem on zeros of a polynomialSVGJVBZ1C5statementopenWikipedia John Hilton Grace#EAZ8
Theorem oneJHA35Y8W2VstatementopenWikipedia Stars and bars (combinatorics)#EVBX
Theorem proversHMEM125EQEstatementopenWikipedia Reasoning system#OCYH
Theorem proversVM59N0YKZ8statementopenWikipedia Mathematical software#GIUR
Theorem provingSX0QQ15499statementopenWikipedia Homotopy type theory#0BUQ
Theorem Proving SystemW9Z0H4D3JPstatementopenWikipedia Peter B. Andrews#K1GH
Theorem statement1PAVBYH5Y0statementopenWikipedia Alon–Boppana bound#FVOQ
Theorem statementGBP1Y1QPKWstatementopenWikipedia Skolem–Mahler–Lech theorem#921V
Theorem statementTQ7FJMFZVAstatementopenWikipedia Primitive element theorem#Z8TZ
Theorem statementVR1SZB7Q07statementopenWikipedia Büchi–Elgot–Trakhtenbrot theorem#4T64
Theorem statementYEHNE8V1VAstatementopenWikipedia Ostrowski's theorem#XG1M
Theorem twoW6GH935PR9statementopenWikipedia Stars and bars (combinatorics)#5UPN
Theorem without the dependency on the dimensionsH3XFNW8PY6statementopenWikipedia Chernoff bound#S459
theorem, Cantor's1A8CH4SGYHconceptopenhott_book index/C.2/theorem-cantor-s
theorem, Conway's 0D88GD4SS2Gconceptopenhott_book index/B.6/theorem-conway-s-0
theorem, Conway's simplicity8ZYTSEKZ59conceptopenhott_book index/B.6/theorem-conway-s-simplicity
theorem, Diaconescu'sRKDABRCWQ7conceptopenhott_book index/C.1.5/theorem-diaconescu-s
theorem, Feit--Thompson70AZZJWBAPconceptopenhott_book index/u1.u5/theorem-feit-thompson
theorem, four-colorF8W65RXAJFconceptopenhott_book index/u1.u6/theorem-four-color
theorem, Freudenthal suspensionB35NT2ZTFTconceptopenhott_book index/7.6/theorem-freudenthal-suspension
theorem, Hedberg'sEZN8J4KAC0conceptopenhott_book index/6.2/theorem-hedberg-s
theorem, Hedberg'sRZT1Y26RV0conceptopenhott_book index/9.11/theorem-hedberg-s
theorem, odd-orderNSBPGP4KRDconceptopenhott_book index/u1.u5/theorem-odd-order
theorem, Schroeder--BernsteinS72FWPCNEVconceptopenhott_book index/C.2/theorem-schroeder-bernstein
theorem, van KampenBNW03Q2XX3conceptopenhott_book index/7.7/theorem-van-kampen
theorem, van KampenS958Y2M84Tconceptopenhott_book index/2.9/theorem-van-kampen
theorem, Whitehead'sNJBSYQT1XFconceptopenhott_book index/7.8/theorem-whitehead-s
Theorem-proversH1VJXW70WNstatementopenWikipedia Mathematical software#G81E
Theorem.63AKKZGXJ1statementopenWikipedia Gelfand–Naimark–Segal construction#ASK6
Theorem.B83CVPKXZ0statementopenWikipedia Spaces of test functions and distributions#YGAT
Theorem.NQHS4K6KQSstatementopenWikipedia Spectral theory of ordinary differential equations#0XIW
Theorem.QCMKV0X7FJstatementopenWikipedia Gelfand–Naimark–Segal construction#IZU4
Theorem:HEW4KNEDSTstatementopenWikipedia Subadditivity#6F6Q
Theorem: (Fujita–Li, Blum–Xu)Y11TQ2HF3XstatementopenWikipedia K-stability of Fano varieties#OY99
Theorem: (Fujita–Odaka, Blum–Xu)65ZTMNAX07statementopenWikipedia K-stability of Fano varieties#S1ID
Theorem: (Tian)8YCB57FBFQstatementopenWikipedia K-stability of Fano varieties#RXME
Theorem: (Wigner 1939)CKWJWX46AJstatementopenWikipedia Wigner's theorem#WV11
Theorem: averaging in the periodic caseSFAF3XC8XXstatementopenWikipedia Method of averaging#MISW
Theorem: congruences for series generated by expansions of continued fractionsQV219BKSVXstatementopenWikipedia Generating function#BD7J
Theorem: D(EQ) = n79ANCTHF4MstatementopenWikipedia Communication complexity#JG07
Theorem: existence and uniqueness of PT random measuresF30XHBZCPWstatementopenWikipedia Poisson-type random measure#5GYK
Theorem: Marked STC2ZVC1QE47KstatementopenWikipedia Poisson-type random measure#VKBR
Theorem: The L-function of a Maass formZXEC87672EstatementopenWikipedia Maass wave form#BXOE
Theorem[Schur-Cohn test]PV2YSJ553WstatementopenWikipedia Lehmer–Schur algorithm#0O9J
Theorema Egregium6D8HN3WQNXdefinitionopenWikipedia List of differential geometry topics#DP61, Wikipedia List of differential geometry topics#T3GA
Theorema EgregiumK3V08B0QZEstatementopenmathlib_1000 Q1048874, Wikidata Q1048874, thousand_plus Q1048874, Wikipedia Gauss's Theorema Egregium, MathWorld GausssTheoremaEgregium, ProofWiki Theorema_Egregium, Wikipedia Theorema Egregium
Theorems1MZKDJTEK2statementopenWikipedia List of things named after Paul Erdős#TCBD
Theorems1PTNAJR8Z0statementopenWikipedia Webbed space#F01J
Theorems1S28SH0S3PstatementopenWikipedia Extreme point#Z506
Theorems2N1DDTSEE7statementopenWikipedia Quantum graph#IE02
Theorems40FDHXHRQ3statementopenWikipedia Altitude (triangle)#IFC3
Theorems46DA4RTZC2statementopenWikipedia Circle#SV1S
Theorems49DJTERX3Cdefinitionopenopen_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#defn-2
Theorems4HKWXRJF0Xdefinitionopenopen_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#defn-1
Theorems5EVHVXX643definitionopenopen_logic content/first-order-logic/axiomatic-deduction/rules-and-proofs.tex#defn-4
Theorems5T33TVD6WAstatementopenWikipedia Planar graph#NUU7
Theorems69SN23XN7YstatementopenWikipedia Toeplitz operator#K5K3
Theorems7ENPHR258FstatementopenWikipedia Complete category#6G2F
Theorems7JNQ3YEZHWstatementopenWikipedia Connected space#E3Q4
Theorems81409400TWstatementdeferred (the item has the flag citation-needed (WP9.2))Wikipedia Sylow theorems#U2Z8
Theorems83PQG3ZN81statementopenWikipedia List of knot theory topics#MLFJ