Math 2.0

Inventory rows PP

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

Hubble–Lemaître law PP41BBZ8N1

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

Mentions

History

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

rank of a set of vectors PPD8B9SMA1

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > rank of a set of vectors, rank of a set of vectors (unknown). Also Mathlib Set.finrank

History

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

environmental economics PPFSAY0QQE

URIm2://inv/PPFSAY0QQE
Kindtopic
Layertextbook
MSC91B76
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Villarceau circles PPKGS1MW29

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

Mentions

History

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

(smooth) direct sum of vector bundles PPPR5QPV8Z

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

Mentions

  • mathlib_overview: mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) direct sum of vector bundles, (smooth) direct sum of vector bundles (unknown). Also Mathlib Bundle.Prod.contMDiffVectorBundle

History

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

unigraph PPR8RWD6XW

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

Mentions

History

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