Registry · Theorem V.T199 tau-effective formalized

V.T199 — DE-Closure Matter Density at -675 ppm

DE-closure matter density: omega_m = (1 - Omega_Lambda - Omega_r) * h^2 = 0.1429 at -675 ppm from Planck (0.1430). 41x better than M3h holonomy (+27972 ppm). Uses Omega_Lambda = kD*(1+iota^3), h = 2/3+iota^2/17. Two paths complementary: M3h for ratio, DE for absolute value.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Depended on by (5)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.DEClosureMatterDensity