Registry · Definition IV.D120 tau-effective formalized

IV.D120 — W Boson Parameters

Observed W boson: M_W = 80.377 pm 0.012 GeV, charge pm e, spin 1, width 2.085 GeV, lifetime ~3e-25 s, 3 polarizations. Charge from isospin T_pm, spin-1 from gauge connection (1-form).

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (2)

IV.T54 IV.D110

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy

Symbol: Tau.BookIV.Electroweak.WBosonParameters