Registry · Theorem V.T259 tau-effective formalized

V.T259 — Uniqueness of Hubble Formula

h = 2/3 + ι_τ²/W₃(3) is the unique first-order holonomy correction: 2/3 forced by matter-dominated limit, ι_τ² = κ_B is only B-sector quadratic coupling, W₃(3) = 17 determined by CF depth at recombination.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.hubble_uniqueness