Registry · Proposition V.P179 tau-effective formalized

V.P179 — Damping Ratio Preserved at NLO

ℓ_D/ℓ₁ = κ_D/κ_B = 5.655 exact at all NLO orders. Independent of holonomy ratio correction. Damping envelope unchanged: 0.969, 0.862, 0.718 for peaks 1-3.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.damping_ratio_exact