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 25924
A 5528
B 4390
C 7242
D 4710
E 5003
F 4868
G 4385
H 4070
I 1391
J 3085
K 3381
L 1911
M 4894
N 3888
O 897
P 5460
Q 3198
R 4892
S 6923
T 5819
U 1014
V 3154
W 3560
X 2715
Y 2835
Z 2989

Rows 3701–3800 of 5819.

Name	Id	Kind	Outcome	Sources
TNF782C57M	TNF782C57M	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.01433#KZ1P
TNFT5QXSJ4	TNFT5QXSJ4	example	open	napkin tex/H113/grp-intro.tex#def:mult_mod_p
TNFZNQT3D5	TNFZNQT3D5	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2604.23212#R547
TNGS03R2XB	TNGS03R2XB	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.00902#PFS1
TNHCKKMJHF	TNHCKKMJHF	exercise	open	napkin tex/measure/caratheodory.tex#problem-1
TNHF6ZV7KM	TNHF6ZV7KM	proof	open	lebl_ra ch-approximate.tex#proof-7
TNHMSPKYYM	TNHMSPKYYM	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.13877#JOMC
TNHSAM1HMP	TNHSAM1HMP	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.03358#KH2V
TNJFA70114	TNJFA70114	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.09594#H3I2
TNJGVDBT7Z	TNJGVDBT7Z	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.02901#F08V
TNKP3CQ05E	TNKP3CQ05E	proof	open	hott_book equivalences.tex#proof-28
TNKZ4D4DVF	TNKZ4D4DVF	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.05486#3J7K
TNN0ERJBG6	TNN0ERJBG6	statement	open	open_logic content/first-order-logic/completeness/identity.tex#lem:truth
TNNCX6N174	TNNCX6N174	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14888#3NK1
TNNSBSM6KD	TNNSBSM6KD	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.37704#SIOS
TNPNFDVE3Y	TNPNFDVE3Y	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.27823#GR6Z
TNPZD5TPRF	TNPZD5TPRF	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.25314#7S0O
TNQF8K956J	TNQF8K956J	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.36823#89JZ
TNQSFM1JDE	TNQSFM1JDE	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.28254#M846
TNR1DRQB5E	TNR1DRQB5E	example	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.25409#1I8S
TNR24Z11FV	TNR24Z11FV	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.03555#EUXK
TNR57G7JF4	TNR57G7JF4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.12740#S83Z
TNRMVG86TZ	TNRMVG86TZ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.09422#1YG6
TNRQEC45KJ	TNRQEC45KJ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.32383#3NQA
TNS1Q3M73T	TNS1Q3M73T	exercise	open	active_calculus source/activities/act-3-5-1.xml#act-3-5-1
TNSNH083HN	TNSNH083HN	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.39809#K1R4
TNSQ6Y1V13	TNSQ6Y1V13	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.27641#02OK
TNTA03FTX1	TNTA03FTX1	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 1512.06981#AGDA
TNTCQSPF49	TNTCQSPF49	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.19023#TVCV
TNTEKYAYB6	TNTEKYAYB6	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.16883#MM7Z
TNTH8SYN93	TNTH8SYN93	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2512.16003#GCOC
TNV7SPT1W0	TNV7SPT1W0	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2412.01742#J55Y
TNWV44SSEE	TNWV44SSEE	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14985#MOR4
TNWZPGRF8H	TNWZPGRF8H	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.10930#GTFK
TNX0R8XSTS	TNX0R8XSTS	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv math/9802134#WRX8
TNXJ2MN6BA	TNXJ2MN6BA	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.31243#14VB
TNXKCE4DGC	TNXKCE4DGC	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.16580#CMM5
TNXW0R009N	TNXW0R009N	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.20801#20R6
TNY6MYM8QC	TNY6MYM8QC	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.32916#9G1P
TNY7TJ8AFK	TNY7TJ8AFK	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.25524#SHPW
TNZ2EHQ980	TNZ2EHQ980	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.24314#OT76
TNZ4D09EQA	TNZ4D09EQA	example	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.28265#RSVO
TNZASHNBN8	TNZASHNBN8	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.00798#HN2Z
TNZG5R6ACQ	TNZG5R6ACQ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.09729#HPXF
Toda system	918WRV4RMC	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.32829#2T77
Toda system with improved error	JJB227WPV0	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.32829#2C9X
Toda system with the first error improvement	52TYBPEDAR	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.32829#7RCB
Toda's theorem	7G3HMP8TVB	statement	open	mathlib_1000 Q719966, Wikidata Q719966, thousand_plus Q719966, Wikipedia Toda's theorem
Todd class	HA1TJNX5Y0	concept	open	Wikidata Q2438393, nLab Todd class
Todor\v{c}evi\'c's trichotomy in canonical form	WY1HYQYV7W	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.12908#DFY9
Toeplitz characterization and global PBF	7T4TYH0CT7	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.08568#W1YU
Toeplitz matrix	DVG5D83K9R	unknown	open	Wikidata Q849428, MathWorld ToeplitzMatrix
Toeplitz operator	MFDM3PX9C2	concept	open	Wikidata Q7812935, nLab Toeplitz operator
together with	9DFZE4TJFZ	concept	open	hott_book index/A.6/together-with
Toggle	2F6A8VDCWD	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.30637#Q25E
Togliatti surface	Z0ZQQT8K7H	concept	open	Wikidata Q1847, MathWorld TogliattiSurface
Token bounds and parameter sensitivity of the four-attention-block network	18MH1GGM0N	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.05333#BCQJ
Token graphs	NVYW8Y35QS	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14373#UAQ6
Tolerance for the squared relative adjoint residual	9SXSAGN2AW	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.32652#QF8K
Tom Banks	VH8C7QQ2RN	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q1383863, nLab Tom Banks
Tom Bridgeland	9VG0VP158E	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q176482, nLab Tom Bridgeland
Tom Kibble	W9XBXREFS7	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q926167, nLab Tom Kibble
Tom Leinster	V8GRFNR43T	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q60053764, nLab Tom Leinster
tomahawk	6FD9QNXR9S	unknown	open	Wikidata Q2440306, MathWorld Tomahawk
Tomasz Brzeziński	3C9ZG802DR	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q62057606, nLab Tomasz Brzezinski
Tomasz Maszczyk	WAEBV22MVE	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q26201838, nLab Tomasz Maszczyk
tomato can principle	S9Y1A7QXRE	concept	open	lebl_scv index/2.3/tomato-can-principle
Tomato can principle\index{tomato can principle}	D7KRXW8CGC	statement	open	lebl_scv scv.tex#thm:tomatocan
tombstone	BSH11YKB2Q	definition	open	Wikidata Q9391599, ProofWiki Definition:Halmos_Symbol
Tomita–Takesaki theory	ABHX0B47XC	statement	open	mathlib_1000 Q7818977, Wikidata Q7818977, thousand_plus Q7818977, Wikipedia Tomita's theorem, MathWorld Tomita-TakesakiTheory, nLab modular theory
Tommaso Dorigo	Y6GCN3YKN7	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q96691258, nLab Tommaso Dorigo
tomographic reconstruction	3QQ2R8B6E1	unknown	open	Wikidata Q7820109, MathWorld Tomography
Tomography of the cutoff block	BNRK339VX0	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.06810#1HRN
Tonelli	1HANF8FF2D	statement	open	lebl_scv scv.tex#thm-50
Tonelli and Fubini	PWN6MF3TM5	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.18907#QHBD
Tonelli for sums	RCQATTWE3E	concept	open	lebl_ra index/10.6.6/tonelli-for-sums
Tonelli theorem	Q31YQ038P4	concept	open	lebl_scv index/E.1/tonelli-theorem
Tonelli's theorem (functional analysis)	TETXX0W938	statement	open	mathlib_1000 Q7820874, Wikidata Q7820874, thousand_plus Q7820874, Wikipedia Tonelli's theorem (functional analysis)
Tonelli/Fubini for sums, challenging	R2A5JGPQEZ	exercise	open	lebl_ra ch-seq-ser.tex#exercise:tonellifubiniforsums
Tony Skyrme	TPCQ268TKB	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q1665938, nLab Tony Skyrme
Toom rule	HGYZ3JJ5JA	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv math/0003117#BVY2
Top degree	V66MTEF43R	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.09295#USXC
Top homology of the simple contraction cores	J8KZB85Y5X	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.04305#PG1V
top quark	RX8EBXBQ4C	unknown	open	Wikidata Q6778, nLab top quark
Top-$K$ TV bound	C2MCGRM3VN	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.10640#8DZS
Top-bracket limit	A07HKN4NDT	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.25060#B8XU
Top-gap version for a finite alphabet	6970RDBCQE	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.38228#1Z92
Topkis's theorem	4TA9KFRJ16	statement	open	mathlib_1000 Q7824894, Wikidata Q7824894, thousand_plus Q7824894, Wikipedia Topkis's theorem
Topological and algebraic closure	E816EY1DM2	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.11002#TV55
topological attachment	PQ04ZSC6QK	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.15099#2038
Topological bootstrap	PJ77Q710A0	problem	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.08787#OQMB
topological category	AQFTVWT754	unknown	open	Wikidata Q7825022, nLab topologically enriched category
topological concrete category	KNQ1SWK3T6	unknown	open	Wikidata Q131071939, EoM Topological_structures, nLab topological concrete category
topological conjugacy	72HHRZFP7A	unknown	open	Wikidata Q2443460, MathWorld TopologicallyConjugate
topological defect	GZSQFM9PPF	unknown	open	Wikidata Q1770567, nLab topological defect
Topological dictionary	1Z45XMV3DF	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.33469#344B
topological division ring	C00YZG7AH0	definition	open	Wikidata Q119143608, ProofWiki Definition:Topological_Division_Ring
topological dynamics	WMYT9G5JV7	unknown	open	Wikidata Q7825032, nLab topological dynamics
topological entropy	63QE0QX4PH	unknown	open	Wikidata Q3055355, MathWorld TopologicalEntropy
topological field	X2P5XB3GCX	topic	open	Wikidata Q10260753, MathWorld TopologicalField, nLab topological field