Math 2.0

Inventory rows 3S

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

triacontadigon 3S0TJFMRAY

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

Mentions

History

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

boundary of a manifold 3SDJ9QTK3Y

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

Mentions

  • mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > boundary of a manifold, boundary of a manifold (unknown). Also Mathlib ModelWithCorners.boundary

History

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

line graph 3SE558VTD3

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

Mentions

History

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

positive-operator-valued measure 3SG1VHMVCV

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

Mentions

History

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

tangent cone 3SP6VNVJQA

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

Mentions

History

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

Thomassen graph 60 3SXGGQNKBA

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

Mentions

History

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

mathematical fallacy 3SXSJE7ZJ8

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

Mentions

History

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

orthonormal frame 3SXWFNXDYJ

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

Mentions

History

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