theorem
other
other
diffGeoStructureCount
No prose has been written for this declaration yet. The Lean source and graph data below render
without it.
generate prose now
formal statement (Lean)
26theorem diffGeoStructureCount : Fintype.card DiffGeoStructure = 5 := by decide
used by (1)
From the project-wide theorem graph. These declarations reference this one in their body.
-
diffGeoCert
in IndisputableMonolith.Mathematics.DifferentialGeometryFromRS
decl_use
depends on (1)
Lean names referenced from this declaration's body.
-
DiffGeoStructure
in IndisputableMonolith.Mathematics.DifferentialGeometryFromRS
decl_use