Registry · Proposition IV.P62 tau-effective formalized

IV.P62 — Z Heavier Than W

M_Z > M_W is equivalent to cos(theta_W) < 1, guaranteed whenever 0 < iota_tau < 1. Mass gap M_Z - M_W ~ 10.8 GeV is a geometric consequence of iota_tau ~ 0.341.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (3)

IV.D129 IV.T54 IV.T55

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy2

Symbol: Tau.BookIV.Electroweak.ZHeavierThanW