Registry · Definition V.D326 tau-effective formalized

V.D326 — Coupled Two-Parameter NLO Correction Space

Two-parameter family (δ_η, δ_h) acting simultaneously on baryon asymmetry and holonomy ratio. δ_η=ι_τ²/9 corrects ω_b; δ_h corrects ω_m. Coupling through r_s(z*) propagates to ℓ_A and ℓ₁.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.CoupledNLO