Registry · Definition V.D328 tau-effective formalized

V.D328 — ω_m NNLO Correction Space

NNLO matter correction λ=(1−κ_D/57)(1−κ_D/24). 57=dim·W₅(3) (e-folds), 24=2^dim·dim (fundamental domain). ω_m=0.14314 (+17 ppm from Planck). r_d=146.90 Mpc (−1269 ppm). z_eq=3447.3 vs Planck 3447.2. Two-path M3h↔DE convergence at 1717 ppm.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.OmegaMatterNNLO