Registry · Definition V.D294 conjectural formalized

V.D294 — Transition Redshift z_acc

Transition redshift z_acc = (2Ω_Λ/Ω_m)^(1/3) − 1 ≈ 0.632 from τ-native Friedmann with Ω_Λ = κ_D(1+ι_τ³). Observed: 0.64±0.05 (SN Ia). Deviation: −1.3%, within 1σ.

Book V Part 3 Ch. 26

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DarkEnergyArtifact

Symbol: Tau.BookV.Thermodynamics.TransitionRedshift