Registry · Theorem V.T265 tau-effective formalized

V.T265 — ω_m Sub-20 ppm at NNLO

ω_m^NNLO = ω_b'·R·(1−κ_D/57)(1−κ_D/24) = 0.14314 at +17 ppm from Planck with zero free parameters. Structural decomposition λ=0.96132 matches Planck z_eq to 0.002%.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (1)

Depended on by (7)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.omega_m_nnlo_sub_20