Registry · Proposition IV.P69 tau-effective formalized

IV.P69 — Weinberg Angle Residual Analysis

Tree-level prediction deviates from PDG value 0.23122 by −2.7%, consistent with expected one-loop electroweak radiative corrections (~+3%).

Book IV Part 4 Ch. 33

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWMixing

Symbol: Tau.BookIV.Electroweak.WeinbergAngleResidualAnalysis