Registry · Definition V.D304 tau-effective formalized

V.D304 — Sector Assignment

Each BBN reaction maps to a τ-sector: A-sector (Weak, 1 reaction), B-sector (EM, 4 reactions including ⁷Be production), C-sector (Strong, 7 reactions).

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.reaction_sector