Registry · Proposition
IV.P180
tau-effective
formalized
IV.P180 — Exponent-Width Coincidence
The NLO exponent 3 has quadruple identification: a₄=3, dim(τ³)=3, W₃ window width=3, |{π,γ,η}|=3.
The NLO exponent 3 has quadruple identification: a₄=3, dim(τ³)=3, W₃ window width=3, |{π,γ,η}|=3.
Module: TauLib.BookIV.Electroweak.WeinbergNLO
Symbol: exponent_width_coincidence