Registry · Definition V.D271 tau-effective skeleton

V.D271 — Deceleration Parameter q₀

Deceleration parameter: q₀ = Ω_m/2 − Ω_Λ = 0.3151/2 − 0.6849 = −0.527. Negative value confirms accelerating expansion, consistent with SN Ia observations. Matches Planck-ΛCDM q₀ = −0.527 to <0.1%.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.decelerationParameter