Registry · Definition V.D196 tau-effective formalized

V.D196 — Neutron-to-Proton Ratio from Y_p

n/p = 10/71 derived from Y_p = 20/81. Standard BBN gives 1/7 = 10/70; tau-prediction differs by one unit in denominator.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.HeliumFraction

Symbol: NeutronProtonRatio