Registry · Theorem V.T245 tau-effective formalized

V.T245 — Y_p Preservation

Y_p=20/81 unaffected by 1/3 fiber suppression. Y_p derives from combinatorial voxel packing geometry (8/27×5/6=20/81), independent of ⁷Be production rate.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

V.T243 V.T149

Depended on by (4)

V.P168 V.T309 V.T312 V.T313

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNNuclearNetwork

Symbol: Tau.BookV.Cosmology.yp_preserved