theorem
other
other
atmoCount
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)
37theorem atmoCount : Fintype.card AtmosphericLayer = 5 := by decide
used by (2)
From the project-wide theorem graph. These declarations reference this one in their body.
depends on (2)
Lean names referenced from this declaration's body.
-
AtmosphericLayer
in IndisputableMonolith.CrossDomain.PlanetStratification
decl_use
-
AtmosphericLayer
in IndisputableMonolith.Physics.AtmosphericPhysicsFromRS
decl_use