Registry · Definition IV.D338 tau-effective formalized

IV.D338 — M_W NLO Formula

NLO W-boson mass: (17/5)*iota^(-3)*m_n*(1 + (5/17)*alpha*iota^2) at -0.4 ppm from PDG 80369.2 MeV. NLO coefficient 5/17 = W_3(4)/W_3(3).

Book IV Part 3 Ch. 27

Dependency Graph

Depended on by (1)

IV.T177

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeinbergNLO

Symbol: mw_nlo_coefficient