Registry · Definition IV.D128 tau-effective formalized

IV.D128 — Pre-Mixing Electroweak Gauge Group

Pre-mixing electroweak gauge group G_EW = SU(2)_L × U(1)_Y with four gauge bosons W^1, W^2, W^3 (from Sector A) and B (from Sector B).

Book IV Part 4 Ch. 33

Dependency Graph

Depends on (3)

IV.D127 IV.D05 IV.D04

Depended on by (4)

IV.D129 IV.D130 IV.D132 IV.T60

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWMixing

Symbol: Tau.BookIV.Electroweak.PremixingElectroweakGaugeGroup