Registry · Definition IV.D123 tau-effective formalized

IV.D123 — The Rho Parameter

Electroweak rho parameter: rho := M_W^2 / (M_Z^2 cos^2(theta_W)).

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (2)

IV.T54 IV.T55

Depended on by (2)

IV.D142 IV.T66

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy2

Symbol: Tau.BookIV.Electroweak.TheRhoParameter