Registry · Definition V.D319 tau-effective formalized

V.D319 — Hubble Derivation Chain

Two-step derivation: (i) EdS base 2/3 from matter-dominated τ-Einstein equation; (ii) holonomy correction ι_τ²/W₃(3) from boundary at recombination depth. W₃(3) = 17 = 1+3+13. No free parameters.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.HubbleDerivationChain