Registry · Theorem V.T238 tau-effective formalized

V.T238 — Growth Index Theorem

Growth index γ_τ = 0.55 + 0.05·ι_τ³ ≈ 0.552. Departure from ΛCDM (γ=0.545): Δγ=+0.007. Measurable at ~1% precision with Euclid and DESI.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.GrowthIndex