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)
35theorem efoldCount_eq : efoldCount = 44 := rfl
proof body
Term-mode proof.
36
37/-- Slow-roll parameter ε = 1/(2φ⁵). -/
used by (1)
From the project-wide theorem graph. These declarations reference this one in their body.
-
inflatonCert
in IndisputableMonolith.Cosmology.InflatonPotentialStructural
decl_use
depends on (1)
Lean names referenced from this declaration's body.
-
efoldCount
in IndisputableMonolith.Cosmology.InflatonPotentialStructural
decl_use