Registry · Definition IV.D118 tau-effective formalized

IV.D118 — Weak Gauge Bosons Before Mixing

The adjoint representation of SU(2)_L gives three gauge fields W^1_mu, W^2_mu, W^3_mu, one per generator T_i.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (1)

IV.T52

Depended on by (2)

IV.P56 IV.P60

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy

Symbol: Tau.BookIV.Electroweak.WeakGaugeBosonsBeforeMixing