Registry · Proposition IV.P364 framework not_formalized IV.P364 — Standard Electroweak Breaking In the Standard Model: equation SU(2)_L U(1)_Y Higgs Book IV Part 3 Ch. 25