Registry · Definition V.D306 tau-effective formalized

V.D306 — ⁷Be Suppression Factor

⁷Be suppression factor S = dim(τ¹)/dim(τ³) = 1/3. Applies to ⁷Be production cross section relative to SBBN value.

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