Registry · Theorem V.T242 tau-effective formalized

V.T242 — Sector Distribution {1,4,7}

BBN sector distribution: {|A|,|B|,|C|}={1,4,7}, sum=12. Reaction 9 (³He+⁴He→⁷Be+γ), the critical lithium step, is B-sector (EM capture).

Book V Part 6 Ch. 48

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNNuclearNetwork

Symbol: Tau.BookV.Cosmology.sector_distribution_sum