Registry · Definition V.D303 tau-effective formalized

V.D303 — BBN Reaction Chain

The 12 dominant BBN reactions. Reaction 9 (³He+⁴He→⁷Be+γ) is the critical lithium-producing step: nearly all primordial ⁷Li originates as ⁷Be that later decays.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNNuclearNetwork

Symbol: Tau.BookV.Cosmology.BBNReaction