Registry · Theorem V.T196 tau-effective formalized

V.T196 — Hubble Parameter from τ: h at −120 ppm

h = 2/3 + ι_τ²/W₃(3) = 0.67352 at −120 ppm. Derived from τ-Einstein equation: EdS base + holonomy correction. Upgraded Wave 38C: conjectural → τ-effective.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.hubble_structural