Registry · Proposition IV.P58 tau-effective formalized

IV.P58 — EM-Weak Coupling Hierarchy

alpha_wk*/alpha_tau = 15/(8 iota_tau^3) ~ 47: weak coupling is LARGER than EM. Apparent weakness at low energy is a mass effect from heavy W/Z, not a small coupling.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (2)

IV.T53 IV.T15

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy

Symbol: Tau.BookIV.Electroweak.EmweakCouplingHierarchy