Registry · Definition IV.D129 tau-effective formalized

IV.D129 — Charged W Bosons

Physical charged weak bosons W^± = (W^1 ∓ iW^2)/√2, mass eigenstates at ~80.4 GeV with charge ±1, determined entirely by SU(2)_L algebra without mixing angle.

Book IV Part 4 Ch. 33

Dependency Graph

Depends on (1)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWMixing

Symbol: Tau.BookIV.Electroweak.ChargedWBosons