Registry · Theorem V.T237 tau-effective formalized

V.T237 — Growth Equation with τ-EoS

τ-growth differs from ΛCDM in two ways: (i) H(z) uses w(z)=ι_τ³−1+corrections, (ii) source term includes f_supp<1. Both reduce growth rate relative to ΛCDM.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.growth_below_lcdm_z03