Registry · Definition V.D333 conjectural formalized

V.D333 — Individual Neutrino Mass Table

Individual masses from NNLO exponents: m₁≈6.94 meV, m₂≈22.68 meV, m₃≈59.40 meV. Sum 89.02 meV at +7.4 ppm. Hierarchy ratio m₃/m₁≈8.6 (experimental ≈5.6).

Book V Part 7 Ch. 61

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.NeutrinoBackground

Symbol: Tau.BookV.Cosmology.IndividualNeutrinoMasses