Registry · Theorem V.T101 tau-effective formalized

V.T101 — H0 Tension Resolution

The H_0 tension is resolved by the orbit-depth dependence of the Hubble parameter: H(n) is monotonically decreasing with n, so H(n_local) > H(n_CMB). The ~8% discrepancy between 67.4 and 73.0 km/s/Mpc is the expected depth correction, with no free parameters.

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.H0TensionResolution