Registry · Theorem V.T246 tau-effective formalized

V.T246 — D/H Preservation

D/H ≈ 2.60×10⁻⁵ unaffected by fiber suppression. Deuterium (A=2) compatible with stride-3 macrocell; abundance set by bottleneck, not ⁷Be channel.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNNuclearNetwork

Symbol: Tau.BookV.Cosmology.dh_preserved