Registry · Theorem IV.T55 conjectural formalized

IV.T55 — Z Mass from Coherence Fixing

M_Z = M_W/cos(theta_W) = gv/(2 cos theta_W). Tree-level: M_Z ~ 81.7 GeV (~10% below PDG 91.188 GeV). Mass RATIO M_W/M_Z = cos(theta_W) ~ 0.880 matches experiment (0.881) to <0.2%.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (2)

IV.T54 IV.D129

Depended on by (8)

IV.D122 IV.D123 IV.P49 IV.P62 IV.P64 IV.P65 IV.T47 IV.T56

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy2

Symbol: Tau.BookIV.Electroweak.ZMassFromCoherenceFixing