Registry · Definition V.D307 tau-effective formalized

V.D307 — Complete BBN Abundance Table

Complete BBN abundance table: Y_p=20/81 (−0.43σ), D/H=2.60e-5 (+2.3σ), ³He/H=1.01e-5 (−0.5σ), ⁷Li/H=1.87e-10 (+0.9σ). All four from single η_B, zero free parameters.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (4)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNNuclearNetwork

Symbol: Tau.BookV.Cosmology.CompleteBBNTable