Registry · Theorem IV.T155 conjectural not_applicable

IV.T155 — Higgs Bonus Coefficient n=6 [SUPERSEDED by IV.T166 n=7]

SUPERSEDED by IV.T166 (n=7 at +8 ppm). The n=6 coefficient gives +466 ppm, 58× worse than n=7. CF-sum candidate rejected. Retained for historical reference; IV.T166 (n=7=2·lobes+sectors) is the canonical Higgs coefficient. Formalization not applicable (superseded).

Book IV Part 3 Ch. 26

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.higgs_n6_cf_sum