Registry · Theorem V.T262 tau-effective formalized

V.T262 — Baryon Density Improvement

ω_b from −12517 to +264 ppm (97.9%). r_d from +13280 to +11539 ppm (13% reduction). r_d residual dominated by ω_m excess. Coupled (δ_η,δ_h) re-optimization needed for ℓ₁ preservation.

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.baryon_nlo_improvement