Registry · Proposition V.P112 tau-effective formalized

V.P112 — Y_p Observational Consistency

Y_p = 20/81 = 0.24691 is within the Planck 2018 observational range (0.244-0.250) at 2 sigma.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (1)

V.T149

Lean Formalization

Module: TauLib.BookV.Cosmology.HeliumFraction

Symbol: yp_in_observational_range