Registry · Definition V.D321 tau-effective formalized

V.D321 — Silk Damping at NLO

ℓ_D(NLO) = ℓ₁ × κ_D/κ_B = 220.02 × 5.655 = 1244.1 at +71 ppm. κ_D/κ_B ratio exact at all NLO orders. Improved from LO +2573 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.SilkDampingNLO