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.

Other 29490
A 14276
B 8378
C 15607
D 13617
E 14772
F 9322
G 9280
H 7946
I 4245
J 5846
K 5471
L 6535
M 10449
N 6691
O 2386
P 13732
Q 4142
R 9674
S 15820
T 11759
U 2142
V 4994
W 5624
X 3003
Y 3402
Z 3622

Rows 5301–5400 of 11759.

Name	Id	Kind	Outcome	Sources
Theorem	B6AGR41T9X	statement	open	Wikipedia Countable set#DUSS
Theorem	B86M730CQP	statement	open	Wikipedia Quadratic set#JYX4
Theorem	B8PYBJ88KG	statement	open	Wikipedia Creative and productive sets#QICN
Theorem	BANBJEFF34	statement	open	Wikipedia Łojasiewicz inequality#BF5N
Theorem	BB5BHAMPSB	statement	open	Wikipedia Donsker's theorem#UPPY
Theorem	BCJ08WVFNW	statement	open	Wikipedia Brunn–Minkowski theorem#EGR1
Theorem	BDKTGHD8K1	statement	open	Wikipedia Glivenko–Cantelli theorem#EX1J
Theorem	BF8ZZ9A907	statement	open	Wikipedia Cartan–Ambrose–Hicks theorem#TNJ3
Theorem	BG3YJAD4AN	statement	open	Wikipedia Banach space#H5I4
Theorem	BGTJ9YMW3R	statement	open	Wikipedia Kolmogorov complexity#39BP
Theorem	BJFC1KA6TA	statement	open	Wikipedia Characteristic polynomial#Q2X9
Theorem	BN6R0VJG5Q	statement	open	Wikipedia Relative interior#GK5Y
Theorem	BNE3DTJG1B	statement	open	Wikipedia Rokhlin lemma#JIAW
Theorem	BPWFNHXTJP	statement	open	Wikipedia Borel functional calculus#F6YH
Theorem	BV9D79YB1F	statement	open	Wikipedia Monotone convergence theorem#PMVK
Theorem	BVQ822KP4D	statement	open	Wikipedia Point-finite collection#9HC7
Theorem	BVSJWT1DWF	statement	open	Wikipedia Direct integral#PTO6
Theorem	C1A4BTPGW9	statement	open	Wikipedia Kraft–McMillan inequality#QU1V
Theorem	C1QTNX2XWW	statement	open	Wikipedia Locally recoverable code#5MXF
Theorem	C3E258QQTT	statement	open	Wikipedia Polynomial interpolation#3QDB
Theorem	C3TACZDHJZ	statement	open	Wikipedia Minkowski functional#5K5L
Theorem	C401AW6RRY	statement	open	Wikipedia Artin transfer (group theory)#009G
Theorem	C6VC67YDRH	statement	open	Wikipedia Coleman–Mandula theorem#ZSXH
Theorem	C7DR72K096	statement	open	Wikipedia Locally recoverable code#9NVG
Theorem	C8EWKX6DAQ	statement	open	Wikipedia Tangent space#ZBAL
Theorem	C8YBTK64SD	statement	open	Wikipedia Polynomial interpolation#EDVT
Theorem	C92SYNJDKQ	statement	open	Wikipedia Wirtinger's inequality for functions#873F
Theorem	CBETTXDDN3	statement	open	Wikipedia Fatou's lemma#DFJG
Theorem	CBVY2V0QTX	statement	open	Wikipedia Nilpotent group#QKDM
Theorem	CD69Y3DJ1R	statement	open	Wikipedia Sylvester equation#U277
Theorem	CE2A3BYV4V	statement	open	Wikipedia Schoof's algorithm#ZDYB
Theorem	CF2SX4K8WN	statement	open	Wikipedia Vysochanskij–Petunin inequality#EGUJ
Theorem	CFRHVPX1ZF	statement	open	Wikipedia Abstract differential equation#5OK5
Theorem	CFW7B37ZS0	statement	open	Wikipedia Hilbert's fourth problem#AOAS
Theorem	CGHZC6RKXS	statement	open	Wikipedia Surjection of Fréchet spaces#I9TI
Theorem	CGP66SB224	statement	open	Wikipedia Schur's lemma#66NI
Theorem	CNFNSSQ9NH	statement	open	Wikipedia Markushevich basis#K8ZW
Theorem	CNR08PV68F	statement	open	Wikipedia Mercer's theorem#ZI22
Theorem	CNRS102NAT	statement	open	Wikipedia Central limit theorem#HW92
Theorem	CP9SPE8D0F	statement	open	Wikipedia Jucys–Murphy element#IGG5
Theorem	CQHV8KH9E8	statement	open	Wikipedia Gelfand representation#XM5Z
Theorem	CQKF7WPNRY	statement	open	Wikipedia Fine and Wilf's theorem#VPPO
Theorem	CRTPTGHN5Y	statement	open	Wikipedia Euclid's lemma#CVU2
Theorem	CTMRXVZASV	statement	open	Wikipedia Abelian von Neumann algebra#YDNQ
Theorem	CXSX342ERE	statement	open	Wikipedia Runge's theorem#5K54
Theorem	CYFBHPB173	statement	open	Wikipedia Finite intersection property#QR8R
Theorem	CZDPMZ9YF3	statement	open	Wikipedia Priestley space#1WI9
Theorem	D0TRG837Y6	statement	open	Wikipedia Banach space#HK7M
Theorem	D13DG6WRA6	statement	open	Wikipedia Banach space#NISJ
Theorem	D1C52SPECR	statement	open	Wikipedia Weinberg–Witten theorem#UWT7
Theorem	D1XKEPTG4R	statement	open	Wikipedia Sparsity matroid#0VTC
Theorem	D2F4MKGAKM	statement	open	Wikipedia Fatou's lemma#DTLV
Theorem	D2Y9TYHWWK	statement	open	Wikipedia Generic-case complexity#O0RK
Theorem	D4AA3865NT	statement	open	Wikipedia Hahn–Banach theorem#D52S
Theorem	D4N0VS0FWZ	statement	open	Wikipedia Kripke–Platek set theory#JJQY
Theorem	D515M5SP8K	statement	open	Wikipedia Closed graph theorem (functional analysis)#UPT5
Theorem	D7DYZXPGYH	statement	open	Wikipedia UTM theorem#F9YK
Theorem	D8D4NFBA9M	statement	open	Wikipedia Eilenberg–Ganea theorem#RLXM
Theorem	D9HJQZ42WQ	statement	open	Wikipedia Wedderburn–Artin theorem#BBJ4
Theorem	D9YWBGRF7G	statement	open	Wikipedia Ingleton's inequality#UQ6S
Theorem	DA5JGQNBYN	statement	open	Wikipedia Graph flattenability#QGII
Theorem	DBEZSDJCN4	statement	open	Wikipedia Laguerre plane#QAOS
Theorem	DBHQPP3NNR	statement	open	Wikipedia Steenrod algebra#XA9S
Theorem	DCAJDDSGSQ	statement	open	Wikipedia K-stability of Fano varieties#9M9H
Theorem	DD7QR1EAX1	statement	open	Wikipedia Prime avoidance lemma#WCZG
Theorem	DDEFPJJ620	statement	open	Wikipedia Hilbert's fourth problem#J4VG
Theorem	DDMX8CFVGX	statement	open	Wikipedia Bounded set (topological vector space)#T7KH
Theorem	DDQ1DK68WF	statement	open	Wikipedia Outer measure#9415
Theorem	DEVPERVHCQ	statement	open	Wikipedia Khatri–Rao product#X1IF
Theorem	DFZ8P458YG	statement	open	Wikipedia Random walk#666X
Theorem	DMPB308RCM	statement	open	Wikipedia Stone–von Neumann theorem#DP1Z
Theorem	DNECS7JKWY	statement	open	Wikipedia Cauchy product#ZIZU
Theorem	DP12F7QG32	statement	open	Wikipedia Low-rank matrix approximations#2CRP
Theorem	DRHAWY06VD	statement	open	Wikipedia Hahn–Banach theorem#X82C
Theorem	DS72W7HZ8B	statement	open	Wikipedia No-cloning theorem#H66B
Theorem	DW7DZ4EW3E	statement	open	Wikipedia Kripke–Platek set theory#8P7H
Theorem	DX8BPYW3MY	statement	open	Wikipedia Artin transfer (group theory)#BFP1
Theorem	DXAPQ4668A	statement	open	Wikipedia Graph flattenability#RTEO
Theorem	DXHN26FJFS	statement	open	Wikipedia Hidden subgroup problem#XE3L
Theorem	DXRAXVYSSF	statement	open	Wikipedia Metrizable topological vector space#1F26
Theorem	DXS6GCEQGF	statement	open	Wikipedia Chomsky–Schützenberger representation theorem#GD4P
Theorem	DXSBWA5CKB	statement	open	Wikipedia Dimension (graph theory)#1R6R
Theorem	DYQGADSN9E	statement	open	Wikipedia Inverse function theorem#AJOC
Theorem	DZ0HM065D2	statement	open	Wikipedia Bloch sphere#WBYQ
Theorem	DZP1MN5P6F	statement	open	Wikipedia Compact operator on Hilbert space#7EFG
Theorem	E0FNDPW6E6	statement	open	Wikipedia Hahn–Banach theorem#BZY8
Theorem	E12FS9TJRW	statement	open	Wikipedia Integration by parts#3TAV
Theorem	E2G885BPYV	statement	open	Wikipedia Stochastic dominance#22ZA
Theorem	E46YT5K2R2	statement	open	Wikipedia Characteristic function (probability theory)#L0O9
Theorem	E4DPH5KM7Z	statement	open	Wikipedia Convenient vector space#ZBSX
Theorem	E5EZJTF83S	statement	open	Wikipedia Spaces of test functions and distributions#QQQ3
Theorem	E5QYPM0ZWS	statement	open	Wikipedia Gelfand–Naimark–Segal construction#WM9W
Theorem	E6M7HNXSRH	statement	open	Wikipedia Definite matrix#YSYU
Theorem	E8A8CE5W0M	statement	open	Wikipedia Hemicontinuity#0TZO
Theorem	E8EFJMP5H3	statement	deferred (the item has no name of its own, and the write role names it)	Wikipedia Classification of finite simple groups#O35I
Theorem	E8MTSP6103	statement	open	Wikipedia Abelian von Neumann algebra#K3PO
Theorem	E9R8FZA1K9	statement	open	Wikipedia Tunnell's theorem#1NKI
Theorem	E9Z25R4048	statement	open	Wikipedia Inverse semigroup#8IOQ
Theorem	EC8PV54PA4	statement	open	Wikipedia Katugampola fractional operators#HNH6
Theorem	ECEJRJJSTM	statement	open	Wikipedia Absolute neighborhood retract#V26I