Registry · Proposition IV.P56 tau-effective formalized

IV.P56 — Charged and Neutral Combinations

W^pm = (W^1 mp iW^2)/sqrt(2) are charged weak bosons implementing T_pm. Neutral W^3 mixes with hypercharge boson B to produce photon and Z^0.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (1)

IV.D118

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy

Symbol: Tau.BookIV.Electroweak.ChargedAndNeutralCombinations