Math 2.0

Inventory rows F6

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

initial object F62RA25R32

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

Mentions

History

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

covariant derivatives F65SRBQ66W

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

Mentions

  • mathlib_overview: mathlib_overview Geometry > Smooth vector and fiber bundles > covariant derivatives, covariant derivatives (unknown). Also Mathlib CovariantDerivative

History

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

opposite category F6FHHGCFXR

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

Mentions

History

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

differential ideal F6K8JCJZPB

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

Mentions

History

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

diminished rhombicosidodecahedron F6NDKWMGG7

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

Mentions

History

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

unit distance graph F6NY4NW54G

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

Mentions

History

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

compound of three tetrahedra F6S7V61ZAG

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

Mentions

History

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

noetherian topological space F6TJTVVX0H

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

Mentions

History

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

hyperboloid of revolution F6XWCQR6QG

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

Mentions

History

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