Math 2.0

Inventory rows WY

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

Bornology WY39NT6512

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

Mentions

  • mathlib_overview: mathlib_overview Analysis > Topological vector spaces > Bornology, Bornology (unknown). Also Mathlib Bornology

History

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

rational variety WY4NBS08R4

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

Mentions

History

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

pentagonal prism WY7SXQBMY9

URIm2://inv/WY7SXQBMY9
Kindobject
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

excited state WY8CQJF6Z9

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

Mentions

History

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

dissection puzzle WYBBD0D9YE

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

Mentions

History

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

Georges Lemaître WYC4BVEPBM

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

Nicolaas Kuiper WYGHCY5E5Z

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

tensor contraction WYK05SHTTD

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

Mentions

History

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

exsecant WYY23XAYYR

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

Mentions

History

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