Registry · Definition V.D149 tau-effective formalized

V.D149 — Depth-Projected Hubble Parameter

The depth-projected Hubble parameter H(n) = H_infty (1 + delta H / iota_tau^n) approaches H_infty at large n (early universe) and takes larger values at small n (late universe), with the depth correction delta H driven by the defect structure of the progression operator.

Book V Part 5 Ch. 45

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.DepthprojectedHubbleParameter