Math 2.0

Inventory rows 1A

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

monomorphism 1A0KSQFH5Y

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

Mentions

History

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

De Nive Sexangula 1A2Y884RHQ

URIm2://inv/1A2Y884RHQ
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a book, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

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

cousin prime 1A83NWM60B

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

Mentions

History

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

Hamiltonian vector field 1A95QXZ4ZF

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

Mentions

History

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

heat kernel 1ACB28DQWV

URIm2://inv/1ACB28DQWV
Kindtopic
Layertextbook
MSC58J35
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

gyroelongated square bipyramid 1AG75A1B51

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

Mentions

History

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

Andreas Wipf 1AH1VKES2D

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

motivic cohomology 1AM3F0Z4YA

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

Mentions

History

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

Iwasawa theory 1AM95MDG4J

URIm2://inv/1AM95MDG4J
Kindtopic
Layertextbook
MSC11R23
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Hermann Grassmann 1AMMPCDZZ6

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

contract bridge 1APTWKNT0W

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

Mentions

History

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

exact trigonometric constants 1AQ2G1WSDN

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

Mentions

History

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

almost Hamiltonian graph 1AR8X2T215

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

Mentions

History

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

Lie algebra of a Lie group 1AYF7SX5AD

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

Mentions

  • mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > Lie algebra of a Lie group, Lie algebra of a Lie group (unknown). Also Mathlib GroupLieAlgebra

History

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