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 4301–4400 of 5819.

NameIdKindOutcomeSources
transitive closureESPGMH4G0Wunknownnode (a node has the same name as the row)Wikidata Q1501387, MathWorld TransitiveClosure
transitive group action84BD99Z5M1statementopenWikidata Q121074938, EoM Transitive_group, MathWorld TransitiveGroupAction, nLab transitive action, ProofWiki Transitive_group_action
transitive reductionSNKXYPR1ZGunknownopenWikidata Q3088151, MathWorld TransitiveReduction
transitive relationE1YAMNQWR2conceptopenlebl_ra index/11.9.4/transitive-relation
transitive relationQ23D46R4C1unknownnode (a node has the same name as the row)Wikidata Q64861, MathWorld Transitive, nLab transitive relation
transitive setJ9SJA651K1definitionopenWikidata Q671944, nLab transitive set, ProofWiki Definition:Transitive_Class
Transitive sets inheriting $\ZFC$AHWDYZ1H06statementopennapkin tex/set-theory/models.tex#lem:transitive_ZFC
Transitivity7DENJ7ETBWstatementopenopen_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#prop:transitivity
transitivity839D2Q7SWKunknownopenWikidata Q54933015, EoM Transitivity
TransitivityAAE8DFA0ADstatementopenopen_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#prop:transitivity
TransitivityCBPT37E1EGstatementopenopen_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#prop:transitivity
TransitivityKCF5NNDHZ0statementopenopen_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#prop:transitivity
TransitivityQY09K14D0Dstatementopenopen_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#prop:transitivity
TransitivityW446PD4CJ2definitionopenopen_logic content/sets-functions-relations/relations/special-properties.tex#defn-2
Transitivity of $<:_i$Z0B6CK5DAFstatementrecord (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.21131#WW0J
Transitivity of $\Uc_i$YGZNWXSJX9statementrecord (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.21131#Y4OA
Transitivity of context PERNWNM0ENKVQstatementrecord (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.21131#QD8A
Transitivity of norm-character productsWNHDRJS242statementrecord (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.30301#GS2B
Transitivity of semantic substitutionsS9K055QBBYstatementrecord (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.21131#D9Q6
Transitivity of semantic subtyping for contextsMT922XH8QEstatementrecord (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.21131#ZRJR
Transitivity of StandardizationW4VWEEJYKWstatementrecord (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.37578#XGTU
Transitivity of Subsets65S9BEPW06statementopenernst_ibl MAAPressVersion/Sets.tex#theorem-1
Transitivity of Tie-Preserving StandardizationSG96PMKHVNstatementrecord (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.37578#LDWQ
transitivity, of $<$ for reals1PCR874ZW1conceptopenhott_book index/B.2.1/transitivity-of-for-reals
transitivity, of $<$ for surreals9QG24NFRC9conceptopenhott_book index/B.6/transitivity-of-for-surreals
transitivity, of $<$ in a fieldCM13PT99HAconceptopenhott_book index/B.2.1/transitivity-of-in-a-field
transitivity, of $\leq$ for realsSS0DSYJMD3conceptopenhott_book index/B.2.1/transitivity-of-leq-for-reals
transitivity, of $\leq$ for surrealsBQHSNET37Rconceptopenhott_book index/B.6/transitivity-of-leq-for-surreals
transitivity, of equalityPBAAKZ6A54conceptopenhott_book index/1.1/transitivity-of-equality
transitivity, of inductive cover4VX05WYCXRconceptopenhott_book index/B.5/transitivity-of-inductive-cover
Translated homogeneous test functions3RNM97KV6Wstatementrecord (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.07404#I88J
Translated OPI ProxyN2T4GETNVAstatementrecord (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.12357#6P7T
Translates of a fixed curveE28XQEKYMAstatementrecord (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.33327#G4SR
translationJSWMR5GK35definitionnode (a node has the same Wikidata item as the row)Wikidata Q211459, MathWorld Translation, ProofWiki Definition:Translation_Mapping
Translation and halvingMT350R0RBCstatementrecord (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.16059#9OED
Translation and positive-scale equivarianceHCHX1F4TC6statementrecord (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.08821#SSMI
Translation bound for the observation windowTQHJ4PCS64statementrecord (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.06372#C50G
translation equivariance6EN0BX0SQ0statementrecord (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.39395#DKWX
translation functor7ZJ8SBGVZDunknownopenWikidata Q7834527, nLab translation functor
Translation invariance and fixed local coefficients do not make rapid mixing additiveHQ7WF0A8KVstatementrecord (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.36016#UTH5
translation numberHFYN0SDENGunknownopenmathlib_overview Dynamics > Circle dynamics > translation number, Mathlib CircleDeg1Lift.translationNumber
translation number defines a homeomorphism up to semiconjugacy9M8B6ZGW5Dunknownopenmathlib_overview Dynamics > Circle dynamics > translation number defines a homeomorphism up to semiconjugacy, Mathlib CircleDeg1Lift.semiconj_of_bijective_of_translationNumber_eq
translation numbers define a group action up to semiconjugacyFSH8NZXXRBunknownopenmathlib_overview Dynamics > Circle dynamics > translation numbers define a group action up to semiconjugacy, Mathlib CircleDeg1Lift.semiconj_of_group_action_of_forall_translationNumber_eq
Translation of critical sumsMRZ23S5TV4statementrecord (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.30301#ZWY5
Translation signsXNHNR766ATstatementrecord (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.02806#K3SW
translation surfaceAYYBB0AYPHunknownopenWikidata Q56298896, EoM Translation_surface
Translation-constrained flow matching recovers squared Euclidean distanceMN9RA8ABPGstatementrecord (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.31544#04R2
Translations4VC3QZFRE2examplerecord (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.36237#G724
TranslationsENDRW7XXY8statementrecord (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.02806#5Z49
TranslationsF6X3GY0GXMstatementrecord (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.04164#OJ49
Transmission regularityM1J8ATQT90statementrecord (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.13429#QXJ5
transport9NRBS2F4H3conceptopenhott_book index/1.7/transport
TransportEFFPZPS3A2statementopenhott_book basics.tex#lem:transport
transportGXFRGXNNSVconceptopenhott_book index/1.10/transport
transportWX6RVN8CMNconceptopenhott_book index/1.3/transport
Transport algebra2GJ5CXXB7Sstatementrecord (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.25762#NLHB
Transport and parabolic estimates8AFB37ETR9statementrecord (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.04894#TQ2V
Transport and sub-Gaussian concentration for an ASL-TAP extension8VC2AZ7G34statementrecord (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.30590#KYVR
Transport bound for a random displacementJCSJ3GV9XSstatementrecord (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.06308#EPRU
Transport by the powers of one elementWTX2D0S2MRstatementrecord (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.04271#FFJU
transport equationVRA49SY6ZCconceptopenlebl_diffyqs index/6.9/transport-equation
Transport equation for AC curves, Theorems 8.3.1, 8.4.59RG2X23X4Bstatementrecord (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.32446#C6NO
Transport identitiesD4SKHXARBTstatementrecord (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.13789#TL36
Transport integration by parts on a rectangular domainYHSKTQ9NFVstatementrecord (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.33033#NS05
Transport LemmaH2WJ315WSGstatementrecord (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.13355#QRH9
Transport normalization87VRRV42RKstatementrecord (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.20994#HZAA
Transport of $\cP$XP6F402Y9Rstatementrecord (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.25762#RWQG
Transport of $Q$FEFJR18MCPstatementrecord (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.25762#ML1V
Transport of endpoint potentials8HHDPPYHT9statementrecord (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.27752#BU8R
Transport of recursive vectorsGV7691EF74statementrecord (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.12531#J841
Transport of the Legendre form6KR7J6966Tstatementrecord (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.10813#5KPD
Transport of the marked tetrahedraHB7QT329BJstatementrecord (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.11652#O52E
Transport on a rank-one cutZ7EZGQ57A2statementrecord (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.25762#P7G1
Transport operator1Q6HXYTDEKdefinitionrecord (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.25987#Z0KA
Transport reductionQ9FP8WR079statementrecord (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.38041#P6HA
Transport representationV7HQ7T3GZBstatementrecord (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.11619#4YXJ
Transport termWW23A6YTYPstatementrecord (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.02721#BGXJ
transport, in coproduct typesM9NGZMZV06conceptopenhott_book index/1.12/transport-in-coproduct-types
transport, in dependent function types5QTMCF0PR8conceptopenhott_book index/1.9/transport-in-dependent-function-types
transport, in dependent pair types3VNQ5AV42Aconceptopenhott_book index/1.7/transport-in-dependent-pair-types
transport, in function types15Z7Y2RV32conceptopenhott_book index/1.9/transport-in-function-types
transport, in identity typesER5G7DQ6SFconceptopenhott_book index/1.11/transport-in-identity-types
transport, in product typesX3XGP6VFY1conceptopenhott_book index/1.6/transport-in-product-types
transport, in unit type90G1HTRYSDconceptopenhott_book index/1.8/transport-in-unit-type
Transportation costV3R8BX8NP8definitionrecord (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.24451#ASQ5
Transportation networkBJ840R6H2Bdefinitionrecord (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.24451#WD80
Transportation network properties preserved under locally Lipschitz pushforward20XSDS86SCstatementrecord (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.24451#61HB
Transported cell averagesGFFSCX9EQNstatementrecord (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.14616#8FN8
Transported geometryRJFS7HFHMFstatementrecord (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.10793#WBMN
Transported lower boundsPJJTJEBRG0statementrecord (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.09356#CAC3
Transported support and accumulated defectCCQPAHS5C2statementrecord (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.09356#7NN7
transposeVRBVQBKEWRconceptopenaustin_ula index/6.2.3/transpose
transpose matrixE10089DDX8unknownnode (a node has the same Wikidata item as the row)Wikidata Q223683, EoM Transposed_matrix, MathWorld Transpose
transpose of a linear map6MTZSH63FVunknownopenmathlib_undergrad Linear algebra > Duality > transpose of a linear map, Mathlib Module.Dual.transpose
transposition4XB46XJFE8unknownopenWikidata Q2666112, MathWorld Transposition, Wikidata Q78082099
transposition, of a scaleGSWGW7T0K1conceptopenapplied_combinatorics index/15.5.1/transposition-of-a-scale
transseriesFQKDBY4AVTunknownopenWikidata Q56292378, nLab transseries
transversalZ12F20JW24statementopenmathlib_1000 Q1347094, Wikidata Q1347094, thousand_plus Q1347094, Wikipedia Alternate Interior Angles Theorem, ProofWiki Definition:Transversal_(Geometry)
Transversal Clifford gates on the $\mathbb{Z}_5$ Reed--Solomon codePEYHWXNQHWexamplerecord (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.04834#FBRP
Transversal comparison and pushforwardPC7QRGE81Vstatementrecord (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.07528#J3Z1