Registry · Theorem V.T244 tau-effective formalized

V.T244 — Li-7 Resolution

⁷Li/H(τ) = (1/3)×5.62×10⁻¹⁰ = 1.87×10⁻¹⁰. Spite plateau: (1.6±0.3)×10⁻¹⁰. Deviation +0.9σ. Resolves 40-year cosmological lithium problem.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

Depended on by (7)

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNNuclearNetwork

Symbol: Tau.BookV.Cosmology.LithiumResolution