Math 2.0

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

Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Tarski–Seidenberg theorem TH2ZHYJJ7H

Kindstatement
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

binomial coefficient TH6F05MCH2

Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeBinomial coefficient 0GBZM0MT0F

Mentions

History

  • 2026-10-26: add by m2/dev

almost-alternating knot TH7PG64B0W

Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

reflex angle THKDZDMM1V

Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

derived stack THMERW8KAZ

Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Borel set THPTM2KK38

Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeBorel sigma-algebra 0WQXY32Q8D

Mentions

History

  • 2026-10-26: add by m2/dev

Ieke Moerdijk THS5YHF6P3

Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

promonoidal category THW6VWBRJN

Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

reflective subcategory THXDPC501D

Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

tangent THXZVAXNRY

Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeTangent line 01R1HW3Y42

Mentions

History

  • 2026-10-26: add by m2/dev