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 2901–3000 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| The template label | ZMBE7TZQN0 | 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.18512#LGSR |
| The template splits into two refinements of one linking form | QF5XSX3QJ9 | 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.18512#66L9 |
| The terminal action does not affect the contraction | 7YPB360TMD | 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.14988#6X71 |
| The theory of inhabited sets | TTTSFGWYKQ | counterexample | 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#IXSS |
| The theta subgroup | D36PT68BFD | 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#8MV2 |
| The third edge is the image of the first arc | A5YM8XJ2SF | 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.25120#XL9O |
| The thirteen-class order from six signatures | BFNBEYDH1Y | 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.17677#3B4J |
| The three equality points | V57QC89912 | 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.09602#MDED |
| The three non-$\SL$ cases all force finite monodromy | 8JGE4BWAJM | 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.04099#IJ4H |
| The three two-point spaces | PRW8JGM4HN | 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.26270#VZ7Z |
| The three-point stabilizer in affine groups | NKCFTG4NA5 | 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.15340#ZPPO |
| The three-vertex case and suspension | RSQQNCY40R | 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.36444#68PD |
| The threefold local alternative | VXSGVGMGSP | 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.25762#1FRK |
| The threshold is $r=1$ | 8DFNP0HBZP | 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.18445#5GVU |
| The threshold of a homogeneous ideal | Y3RAFBW3TB | 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.02585#XIQW |
| The threshold root stays in the support | 4E0P1Y7DQA | 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.09602#AHCE |
| The torsion formula | K4F2MJTBYX | 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.18512#BEZQ |
| The torus | 7G5M4VVQAZ | 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.24777#NLJE |
| The torus | TPPGY3VZF4 | example | open | napkin tex/topology/cover-project.tex#example-8 |
| The totally positive moment case | P2W80QPHPE | 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.26066#T4G1 |
| The trace equation on a geodesic plane | SK74WZKCGW | 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 2501.09848#XLKF |
| The trace is quantised, with modulus $\mathcal H/2^{\#L}$ | GA6YJTKQJ9 | 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.18512#BI2Q |
| The trace of the Hessian in the widening valley | CDRVZVJ4VN | 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 2202.02831#2OWW |
| The trace relation | X5WKW7AJ62 | 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.17116#RCBM |
| The trajectory tracks the river closely | ZGMN8EHTGQ | 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.30957#TPYL |
| The transition formula | DQBQYQS3EW | 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.21093#TSCS |
| The transition on the rational generator | JHZW6E9Z12 | 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.33808#9QMH |
| The tree estimate | MEF0J25P04 | 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.09650#F209 |
| The tree intertwining map | RCPCGB59DH | 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 2312.05005#PGKE |
| The tree monad | 8WVBB4NCX6 | 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 2312.05005#XHTD |
| The Triangle Inequality | VXPHD7JX6Z | statement | open | mathlib_100 91, Mathlib norm_add_le |
| The triangular period and its harmonics | QCXFHVKY3J | 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 2501.09848#ITIY |
| The triple point | VAY5JYG2R6 | 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.37479#08Q9 |
| The tripod lemma | WK0PBC6G3T | 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.19787#YGZF |
| The trivial character | JM3T8W1XS9 | 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.10583#XKQF |
| The tube | PKMP6NP2M8 | 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.12434#UFH1 |
| The twenty-four-contact case near the root system | BTC3NVKZXE | 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.25120#614S |
| the twist is trivialised by $L$ | A4QAH23S9S | 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.09298#9TIJ |
| The two block diagonals of \(\mathscr H_{(a)}\ | KPY3YYCF8H | 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.26066#IJNK |
| The two ceilings; i.i.d.\ model | D7AYAAB3NB | 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.27765#7A9N |
| The two exponents agree on i.i.d.\ products | 4DJGNAHQ9N | 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.27765#EO28 |
| The two factors are admissible | Q318YD2X6D | 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.04099#XRLI |
| The two hard instances differ only near \(v\ | 8PAJP9QHQF | 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.12456#RT1B |
| The two Higgs state spaces | 6Z21QBD9MA | 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.03520#REZH |
| The two initial specializations | AN85TA8FVD | 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 2610.10828#VQHV |
| the two limit curves are really a single curve, described explicitly: $\mathrm{Yang}_{\infty}(x)=\mathrm{Yin}_{\infty}(x-\tfrac12)$ | 5XRFZNEXAR | 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.03728#GX1J |
| The two local boundary values | D4CZDDG3HX | 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.04189#OQGV |
| The two normal framings | 91SH0Z8ZW2 | 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.29839#RKWZ |
| The two observation models have different greatest elements | 6CG7379H2C | 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#ARQP |
| The two para--Krawtchouk sums | V6NCMFV8VY | 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 2610.16704#ZD3J |
| The two polynomial alternatives | MHGHK0BJMW | 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.25762#5YB1 |
| The two possible height increments | MTZZCQVFWH | 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.26066#BLOW |
| The two products | 802TWCPNYE | 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.11002#3SL2 |
| The two return depths in the rational \texorpdfstring{$(3,2)$}{(3,2)} system | 8XP2HG479G | 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.26066#0T0S |
| The two routes to capacity are an accuracy-cost trade | 801PYNE0RS | unknown | open | arXiv 2609.29554#0NQK |
| The two scalars along the conditional family | 8J7XT6XV4T | 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.27765#QXUO |
| The two scalars along the flattened family | ZJ0WNJQB8C | 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.27765#3BBU |
| The two schedules for every budget | 4Q0WXEQRYR | 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.12641#XAE0 |
| The two sparse matrices | 4P4KRM1SDD | 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.26066#Y9TQ |
| The two surviving case-(B) collisions are self-dual, hence excluded | SMY4GHNM7S | 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.04099#OR3R |
| The two systems are one | Q9GXYB9ERH | 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.18512#X5ML |
| The two tail representations | MV9D6XKH6G | 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.00490#N2SY |
| The two third cyclic covers | CQBE8J3B2P | 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.29839#5I46 |
| The two-ends reduction | TCMNMSG2S9 | 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.12480#INAK |
| The two-loop graph groupoid | Z5VNADEADF | 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 2610.00789#NPKP |
| The two-plane case | KZPVX46DZV | 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 2610.10790#081Y |
| The two-state case | KE3H1E33MJ | 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.26066#S8XK |
| the unboxed conjecture | YCC4ZRXJXW | 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.19249#W8Q1 |
| The uncentered branch | HRPCJSG7NV | 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.04357#AD03 |
| The unchanged manifold category is not a full CFO | 58HJJQ76J4 | 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.28220#7457 |
| The underlying diffeological space | 4ZZZ71KBGS | 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.26270#WBKG |
| The underlying space is $\spLt$ | EVN6288WV9 | 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.29839#KONE |
| The Unicorn Surgery Lemma\footnote{The construction in the proof of the lemma is inspired by the \emph{unicorn paths} of and \emph{surgery paths} of . | HKR8TVFTM0 | 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.38068#CSKL |
| The uniform inverse | YA02AV32GZ | 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.24739#GKOE |
| The unipotent blocks at the boundary | 77C2E4Y68Y | 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.04099#RMFP |
| The unit $A_+$ classes of a two-run word | TDRWJKV3QG | 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.18512#JRFY |
| The unit square | YY9QNS608W | example | open | napkin tex/topology/constructions.tex#example-3 |
| The unitary partner of the diagonal words | 1XTV5XMGGG | 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.18512#3L4C |
| The Unitary Set | QMCHD1VQ6Z | 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.01932#Y246 |
| The universal cover is exterior | J4EW5K8V79 | 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.04164#0C8O |
| The universal cubic | JXJKXSXW6F | 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.06480#4VYD |
| The universal Floquet vector | 3B3QVGWNQE | 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.18512#DSC5 |
| The universal half-mean factor is sharp | SQV9YPM2YV | 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#OQHW |
| The universal odometer | HQNYJRTR3D | 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 2610.06488#IW9P |
| The Universality criterion | J319D1MGYW | 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 2403.08723#NDTA |
| The Universe in a Nutshell | 7RW4Y3KYMF | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q918057, ProofWiki Book:Stephen_Hawking/The_Universe_in_a_Nutshell |
| The unrestricted comparison | 7Z877JTZ9P | 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.30663#CL5J |
| The unstable octahedral axiom | 61AV568P38 | exercise | open | hott_book equivalences.tex#ex:unstable-octahedron |
| the unweighted complementary family | WW5C0V0DP0 | 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.02743#QUYB |
| The upper tail of the TAP maximum | A3GYX7HAEZ | 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.06490#W1RZ |
| The upper-degree $t$-slice for an arbitrary boundary | GV9K3XPAWC | 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.24541#87A3 |
| The value at $q=0$ | V0N9YCV59Y | 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.18350#7QYK |
| The variational gap at equilibrium | 2YJ0Z8K2BK | 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.06490#46OU |
| The vertical boundary line | FFBBX1KWCV | 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.37479#M2DA |
| The Vertical Isomorphisms---Right Twist Cases | Q3H2858TK3 | 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.20558#G8P2 |
| The Vertical Isomorphisms---Top Twist Cases | JRJ1V33RY8 | 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.20558#XW98 |
| The von Neumann hierarchy is complete | 7KV1MG3Z33 | statement | open | napkin tex/set-theory/ordinal.tex#theorem-7 |
| The Wallet | 1S3CNAT36T | 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.39615#DQYR |
| the waves converge to the tangent waveform | PW0HKHJ9AC | 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.03728#U24N |
| The weak bound | 1M8R5C3QWP | 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.16069#7Z6F |