Registry · Proposition V.P168 tau-effective formalized

V.P168 — Selectivity: Only A ≥ 7 Suppressed

Fiber suppression selective: A≤4 (p,n,D,³He,T,⁴He) unaffected; A=7 (⁷Be,⁷Li) suppressed by 1/3. No BBN products at A=5,6 (mass gaps).

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNNuclearNetwork

Symbol: Tau.BookV.Cosmology.selectivity_threshold