Registry · Proposition V.P166 tau-effective formalized

V.P166 — D/H Observational Consistency

D/H=2.60×10⁻⁵ within 2.3σ of Cooke 2018 measurement (2.527±0.030)×10⁻⁵. Zero free parameters: η_B fully determined by ι_τ.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (1)

V.T241

Depended on by (2)

V.R428 V.R435

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNNuclearNetwork

Symbol: Tau.BookV.Cosmology.dh_in_range