Registry · Proposition V.P187 tau-effective formalized

V.P187 — One-Parameter Neutrino Mass Structure

NNLO exponents define one-parameter family: q=q₀, p=q₀−203/175, r=q₀−1421/700. Single free parameter q₀ determines all three masses. Total spacing 1421/700 = 203/175 + 609/700.

Book V Part 7 Ch. 61

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.NeutrinoBackground

Symbol: Tau.BookV.Cosmology.OneParamMassStructure