Math 2.0

Inventory rows XW

The cards of the rows of the inventory whose ids start with XW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.

Patrick Hayden XW0X6ZKSZ2

URIm2://inv/XW0X6ZKSZ2
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

inflection point XW2QAFEMFX

URIm2://inv/XW2QAFEMFX
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeInflection point 06MG208MGR

Mentions

History

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

Robertson–Seymour theorem XW2V9SCZDE

URIm2://inv/XW2V9SCZDE
Kindstatement
Layertextbook
MSC05-XX
Sources3
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

chain rule XW755GSX36

URIm2://inv/XW755GSX36
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

  • mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > chain rule, chain rule (unknown). Also Mathlib fderiv_comp

History

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

baguenaudier XWA1JDNMCB

URIm2://inv/XWA1JDNMCB
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

ring of Witt vectors XWEDNQYQ50

URIm2://inv/XWEDNQYQ50
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

  • mathlib_overview: mathlib_overview General algebra > Number theory > ring of Witt vectors, ring of Witt vectors (unknown). Also Mathlib WittVector

History

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

undefined XWF0KZY6QK

URIm2://inv/XWF0KZY6QK
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Symphony No. 8 XWKWTS2D15

URIm2://inv/XWKWTS2D15
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

rectangle XWNS5ADYYW

URIm2://inv/XWNS5ADYYW
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

equal detour point XWQW7DEQ3A

URIm2://inv/XWQW7DEQ3A
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

carbon-13 XWRD9PP185

URIm2://inv/XWRD9PP185
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

square wave XWSVGGPJ27

URIm2://inv/XWSVGGPJ27
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Erdős–Nagy theorem XWW3MC9YVH

URIm2://inv/XWW3MC9YVH
Kindstatement
Layertextbook
MSC52-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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