Registry · Definition IV.D334 tau-effective formalized

IV.D334 — NLO Weinberg Correction

The NLO correction to sin²θ_W packages CF window data: nlo_num=W₃(4)=5, nlo_den=W₃(3)−2·W₃(4)=7, nlo_exp=a₄=3.

Book IV Part 4 Ch. 35

Dependency Graph

Depends on (1)

IV.D130

Depended on by (6)

IV.P180 IV.P181 IV.R389 IV.R391 IV.T134 IV.T135

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeinbergNLO

Symbol: WeinbergNLO