Registry · Definition IV.D110 tau-effective formalized

IV.D110 — W-pm Defect Bundles

Charged channel-switching configurations on L: W- maps chi_- to chi_+, W+ maps chi_+ to chi_-. Carry electric charge pm e with mass M_W ~ 80.4 GeV from crossing tension.

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (2)

IV.D109 IV.D97

Depended on by (4)

IV.D100 IV.D120 IV.P53 IV.P59

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality

Symbol: Tau.BookIV.Electroweak.WpmDefectBundles