Registry · Proposition V.P88 tau-effective formalized

V.P88 — Depth-Hubble Monotonicity

The depth correction delta H ~ H_infty iota_tau^{n_0}, where n_0 is the transition depth from the deep-tower to the local-readout regime. For the observed 8% discrepancy, the monotonicity of H(n) (guaranteed by positivity of delta H) is a conjectural quantitative prediction.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.DepthhubbleMonotonicity