Registry · Theorem V.T261 tau-effective formalized

V.T261 — Peak-Ratio NLO Improvement

ℓ₂ from −17116 to +1093 ppm (93.6%), ℓ₃ from −20112 to +1267 ppm (93.7%). δφ₀=ι_τ/(lobes·W₃(4)). All three peaks sub-1300 ppm.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

V.D322 V.T260

Depended on by (4)

V.P180 V.P183 V.R458 V.R461

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.peak_ratio_nlo_improvement