Registry · Proposition IV.P68 tau-effective formalized

IV.P68 — Coupling Relations

Electromagnetic coupling e = g sin θ_W = g' cos θ_W, equivalently 1/e² = 1/g² + 1/g'². Derived from photon coupling to Q = T_3 + Y/2.

Book IV Part 4 Ch. 33

Dependency Graph

Depends on (2)

IV.T60 IV.D130

Depended on by (2)

IV.P61 IV.T57

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWMixing

Symbol: Tau.BookIV.Electroweak.CouplingRelations