Registry · Theorem IV.T64 tau-effective formalized

IV.T64 — Higgs Scalarity Theorem

The surviving excitation above vacuum Ω*[ω] at crossing point p_ω has spin 0. Three conditions (minimality, EM-nullity, σ-polarity) eliminate J≥2 (absent) and J=1 (charged, not σ-fixed), leaving J=0 as unique solution.

Book IV Part 4 Ch. 34

Dependency Graph

Depends on (5)

Depended on by (7)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs

Symbol: Tau.BookIV.Electroweak.HiggsScalarityTheorem