Registry · Definition V.D302 tau-effective formalized

V.D302 — BBN Network Light Elements

BBN nuclear network: 8 light nuclei {n, p, D, ³He, T, ⁴He, ⁷Li, ⁷Be} determined by 12 dominant reactions. Single input: η_B.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

V.D301 V.D60

Depended on by (2)

V.D303 V.T247

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNNuclearNetwork

Symbol: Tau.BookV.Cosmology.BBNNucleus