Registry · Definition V.D252 conjectural skeleton

V.D252 — DE-Closure Matter Density ω_m from Ω_Λ and h

omega_m = (1−Ω_Λ−Ω_r)·h² with Ω_Λ = κ_D·(1+ι_τ³), h = 2/3+ι_τ²/17. Independent of ch45 holonomy path. Two omega_m paths provide consistency cross-check.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (1)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.de_closure_matter