Registry · Definition IV.D130 tau-effective formalized

IV.D130 — Weinberg Angle

Weinberg (weak mixing) angle θ_W defined by tan θ_W = g'/g, where g is the SU(2)_L coupling and g' is the U(1)_Y coupling constant.

Book IV Part 4 Ch. 33

Dependency Graph

Depends on (1)

IV.D128

Depended on by (4)

IV.D334 IV.P68 IV.T60 IV.T61

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWMixing

Symbol: Tau.BookIV.Electroweak.WeinbergAngle