Math 2.0

Inventory rows RT

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

Kuen surface RT0Y0PWGPB

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

Mentions

History

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

Zeisel number RTAFPHKQYS

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

Mentions

History

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

Oscar Randal-Williams RTBY385SSX

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

Claudio Bunster RTBY4JENMD

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

Schwarz lemma RTF7SEFTFS

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

Mentions

History

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

Laurent series RTFZST59DY

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > Laurent series, Laurent series (unknown)

History

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

reduced scheme RTGDNP4GSV

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

Mentions

History

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

Kochański's approximation RTQ4WN5TGF

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

Mentions

History

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