Registry · Theorem IV.T260 tau-effective not_formalized IV.T260 — Electroweak Coupling Derivations The electroweak couplings derived from tau3: Book IV Part 3 Ch. 28