Registry · Definition V.D324 tau-effective formalized

V.D324 — S₈ NLO

σ₈(τ,NLO) = 0.811 × f_supp(0.913) × f_growth(1.011) × f_ν(0.997) = 0.747. S₈(τ,NLO) = 0.747 × √(Ω_m/0.3) = 0.783. Three-factor decomposition: holonomy suppression, growth scaling, neutrino mass.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.S8TensionResolution