Inventory rows TH
The cards of the rows of the inventory whose ids start with TH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
zonotope TH1D60KQQJ
| URI | m2://inv/TH1D60KQQJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q22893904, zonotope (unknown). Also MathWorld Zonotope
History
- 2026-10-26: add by m2/dev
Tarski–Seidenberg theorem TH2ZHYJJ7H
| URI | m2://inv/TH2ZHYJJ7H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16705451, Tarski–Seidenberg theorem (statement). Also MathWorld TarskisTheorem, nLab Tarski-Seidenberg theorem
History
- 2026-10-26: add by m2/dev
binomial coefficient TH6F05MCH2
| URI | m2://inv/TH6F05MCH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Binomial coefficient 0GBZM0MT0F |
Mentions
- wikidata: Wikidata Q209875, binomial coefficient (definition). Also EoM Binomial_coefficients, MathWorld BinomialCoefficient, OEIS A073354, ProofWiki Definition:Binomial_Coefficient
History
- 2026-10-26: add by m2/dev
almost-alternating knot TH7PG64B0W
| URI | m2://inv/TH7PG64B0W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96741348, almost-alternating knot (unknown). Also MathWorld AlmostAlternatingKnot
History
- 2026-10-26: add by m2/dev
sequential compactness is equivalent to compactness (Bolzano-Weierstrass) THCWH0XV61
| URI | m2://inv/THCWH0XV61 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Metric spaces > sequential compactness is equivalent to compactness (Bolzano-Weierstrass), sequential compactness is equivalent to compactness (Bolzano-Weierstrass) (unknown). Also Mathlib isCompact_iff_isSeqCompact
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > sequential compactness is equivalent to compactness (Bolzano-Weierstrass), sequential compactness is equivalent to compactness (Bolzano-Weierstrass) (unknown). Also Mathlib isCompact_iff_isSeqCompact
History
- 2026-10-26: add by m2/dev
reflex angle THKDZDMM1V
| URI | m2://inv/THKDZDMM1V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10396169, reflex angle (unknown). Also MathWorld ReflexAngle
History
- 2026-10-26: add by m2/dev
derived stack THMERW8KAZ
| URI | m2://inv/THMERW8KAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16937241, derived stack (unknown). Also nLab derived stack
History
- 2026-10-26: add by m2/dev
Borel set THPTM2KK38
| URI | m2://inv/THPTM2KK38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Borel sigma-algebra 0WQXY32Q8D |
Mentions
- wikidata: Wikidata Q21086747, Borel set (definition). Also EoM Borel_set, MathWorld BorelSet, nLab Borel subset, ProofWiki Definition:Borel_Sigma-Algebra/Borel_Set
History
- 2026-10-26: add by m2/dev
Ieke Moerdijk THS5YHF6P3
| URI | m2://inv/THS5YHF6P3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q167048, Ieke Moerdijk (unknown). Also nLab Ieke Moerdijk
History
- 2026-10-26: add by m2/dev
promonoidal category THW6VWBRJN
| URI | m2://inv/THW6VWBRJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107469099, promonoidal category (unknown). Also nLab promonoidal category
History
- 2026-10-26: add by m2/dev
reflective subcategory THXDPC501D
| URI | m2://inv/THXDPC501D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6101219, reflective subcategory (unknown). Also nLab reflective subcategory
History
- 2026-10-26: add by m2/dev
Final value theorem THXPJQATAB
| URI | m2://inv/THXPJQATAB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4272645, Final value theorem (statement). Also Wikidata Q4272645
- thousand_plus: thousand_plus Q4272645, Final value theorem (statement). Also Wikidata Q4272645, Wikipedia Final value theorem
History
- 2026-10-26: add by m2/dev
tangent THXZVAXNRY
| URI | m2://inv/THXZVAXNRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Tangent line 01R1HW3Y42 |
Mentions
- wikidata: Wikidata Q1129196, tangent (definition). Also EoM Tangent, MathWorld Tangent, ProofWiki Definition:Tangent_Function
- wikidata: Wikidata Q131251, tangent (unknown). Also MathWorld Tangent
History
- 2026-10-26: add by m2/dev