Registry · Theorem V.T150 tau-effective formalized

V.T150 — n/p Ratio Derivation

From Y_p = 2(n/p)/(1+n/p) = 20/81, derive n/p = 10/71.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

V.D195 V.D196

Lean Formalization

Module: TauLib.BookV.Cosmology.HeliumFraction

Symbol: np_from_yp