Registry · Definition IV.D122 tau-effective formalized

IV.D122 — Z Boson Parameters

Observed Z boson: M_Z = 91.1876 pm 0.0021 GeV, charge 0, spin 1, width 2.4952 GeV, lifetime ~2.6e-25 s. Couples to all fermions (both L and R) via hypercharge component.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (2)

IV.T55 IV.D111

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy2

Symbol: Tau.BookIV.Electroweak.ZBosonParameters