Registry · Theorem IV.T262 framework not_formalized IV.T262 — Electroweak Precision Agreement The tau3 predictions vs.\ experiment: Book IV Part 3 Ch. 28