Registry · Theorem IV.T60 tau-effective formalized

IV.T60 — Neutral Boson Mixing

Physical neutral bosons (photon, Z^0) related to gauge eigenstates (B, W^3) by orthogonal rotation with Weinberg angle θ_W. Photon is massless eigenvalue, Z^0 is massive.

Book IV Part 4 Ch. 33

Dependency Graph

Depends on (2)

IV.D128 IV.D130

Depended on by (4)

IV.D132 IV.P61 IV.P65 IV.P68

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWMixing

Symbol: Tau.BookIV.Electroweak.NeutralBosonMixing