Registry · Proposition IV.P53 tau-effective formalized

IV.P53 — Mass of Channel-Switching Defect Bundles

W and Z are massive because omega is a conical singularity of L: localising a boundary disturbance near the crossing requires finite crossing tension T_omega>0. Photon is massless (propagates along smooth lobe).

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality

Symbol: Tau.BookIV.Electroweak.MassOfChannelswitchingDefectBundles