Math 2.0

Inventory rows ZS

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

Juan José Manjarín ZS13YJ9HVT

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

trigonometric function ZS2AN5QQPQ

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

Mentions

History

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

Wythoff's game ZS57A1VSKB

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

Mentions

History

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

the category of topological spaces ZS6QNM6G34

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

Mentions

  • mathlib_overview: mathlib_overview Topology > General topology > the category of topological spaces, the category of topological spaces (unknown). Also Mathlib TopCat

History

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

hypergeometric differential equation ZS8G3Q5AFS

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

Mentions

History

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

Eberlein–Šmulian theorem ZSA7C750CC

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

Mentions

History

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

ergodic theorem ZSCDZNY9DF

URIm2://inv/ZSCDZNY9DF
Kindstatement
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

elongated pentagonal cupola ZSCEQJ5ECH

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

Mentions

History

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

elongated square gyrobicupola ZSEZMSWP9A

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

Mentions

History

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

complete graph K6 ZSJWDRBZJV

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

Mentions

History

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

Strassmann's theorem ZSMS1G53YA

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

Mentions

History

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

doubly non-negative matrix ZSSBVFTEKT

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

Mentions

History

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

unitary character ZSSD4NYEMQ

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

Mentions

History

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

generalized momentum ZSVMN3VSD5

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

Mentions

History

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

separable extension ZSWK8BKCP1

URIm2://inv/ZSWK8BKCP1
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeSeparable extension 0WCX7NB4N7

Mentions

History

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

regular space ZSX9JDW3B0

URIm2://inv/ZSX9JDW3B0
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeRegular space 03HMJASQBQ

Mentions

History

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

Poincaré–Birkhoff theorem ZSYCAXJ9C8

URIm2://inv/ZSYCAXJ9C8
Kindstatement
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

binary function ZSZ4RRT6G0

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

Mentions

History

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