Registry · Proposition V.P167 conjectural formalized

V.P167 — Spite Plateau Consistency

Including ~15% stellar depletion: 1.87×10⁻¹⁰ × 0.85 = 1.59×10⁻¹⁰, matching Spite plateau (1.6±0.3)×10⁻¹⁰ essentially exactly.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (1)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNNuclearNetwork

Symbol: Tau.BookV.Cosmology.spite_plateau_consistent