Registry · Proposition V.P178 tau-effective formalized

V.P178 — Hubble Self-Consistency Check

h²·Ω_m = ω_m self-consistency: 0.67352² × 0.3299 = 0.14964 matches ω_m(NLO). Hubble formula and NLO holonomy ratio form closed parameter set.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (2)

V.T259 V.T257

Depended on by (1)

V.R456

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.hubble_self_consistency