Registry · Theorem V.T149 tau-effective formalized

V.T149 — Y_p Derivation from Packing and Correction

Y_p = (8/27)(5/6) = 20/81, derived from packing maximum and domain-wall correction.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

V.T146 V.D194

Depended on by (4)

V.P112 V.T170 V.T171 V.T245

Lean Formalization

Module: TauLib.BookV.Cosmology.HeliumFraction

Symbol: yp_is_20_81