Registry · Theorem V.T243 tau-effective formalized

V.T243 — Suppression = 1/dim(τ³) = 1/3

⁷Be production suppressed by S=1/dim(τ³)=1/3. EM capture operates on 1D base τ¹, not full 3D τ³. Phase space ratio dim(τ¹)/dim(τ³)=1/3.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (1)

Depended on by (9)

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNNuclearNetwork

Symbol: Tau.BookV.Cosmology.suppression_is_one_third