Registry · Theorem V.T166 tau-effective formalized

V.T166 — Cosmological Bound Satisfaction

With best-fit exponents (p=3.7,q=4.8,r=2.8) and scale matched to Delta_m^2_21=7.53e-5 eV^2: Sigma_mnu = 0.089 eV < 0.12 eV (Planck 2018 bound). Masses: m1=0.017 eV, m2=0.019 eV, m3=0.053 eV. Normal ordering m3>m2>m1 automatically predicted from c>a (r

Book V Part 3 Ch. 24

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: cosmological_bound