Registry · Theorem V.T247 tau-effective formalized

V.T247 — He-3/H from τ-native η_B

³He/H(τ) ≈ 1.01×10⁻⁵ from BBN sensitivity d(ln(³He/H))/d(ln η_B) ≈ −0.6. Observed: (1.1±0.2)×10⁻⁵. Deviation −0.5σ.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

V.T172 V.D302

Depended on by (5)

V.D307 V.R437 V.T309 V.T310 V.T311

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNNuclearNetwork

Symbol: Tau.BookV.Cosmology.He3Prediction