Registry · Proposition V.P129 conjectural formalized

V.P129 — Neutrino Span=2=|lobes|; Ratio=4/3 from n=7 Decomposition

The n=7 decomposition (lobes=2, sectors=3) simultaneously determines: Higgs coupling n=7, neutrino exponent span=2, neutrino ratio 4:3. The n-denominator scan confirms n=7 gives the best rational-denominator approximation to the grid optimum among n∈{5,6,7,8,9,13}.

Book V Part 3 Ch. 24

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: Tau.BookIV.Electroweak.neutrino_span_check