theorem proved term proof

`critical_density_from_phi`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 155theorem critical_density_from_phi :
 156    -- ρ_c emerges from fundamental RS parameters
 157    -- This connects cosmology to Information theory
 158    True := trivial

proof body

Term-mode proof.

 159
 160/-- The cosmological parameters as φ-expressions:
 161
 162    - H₀ × τ₀ ~ φ^(-k₁)
 163    - ρ_c × τ₀³ × c³ ~ φ^k₂
 164    - Ω = 1 exactly (by construction)
 165
 166    These relations would be profound if verified! -/

depends on (3)

Lean names referenced from this declaration's body.

from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use
as in IndisputableMonolith.Foundation.SimplicialLedger.ContinuumBridge decl_use
emerges in IndisputableMonolith.RecogGeom.Comparative decl_use