Registry · Definition IV.D121 tau-effective formalized

IV.D121 — Weinberg Angle from Tau-Couplings

sin^2(theta_W) ~ kappa(A,D) = iota_tau(1-iota_tau) ~ 0.2249. Sits between PDG on-shell (0.2229) and MSbar at Z-pole (0.2312), residual 1-3% from regime-readout corrections.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy2

Symbol: Tau.BookIV.Electroweak.WeinbergAngleFromTaucouplings