Registry · Definition V.D323 tau-effective formalized

V.D323 — Baryon Density NLO Correction

δ_η = ι_τ²/sectors² = ι_τ²/9 ≈ 0.01294. ω_b: 0.02209 → 0.02238 (+264 ppm from Planck, 97.9% improvement). Structural: squared master constant / squared sector count.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (3)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.BaryonDensityNLO