Registry · Theorem IV.T379 framework not_formalized IV.T379 — tau3 Weinberg Angle Derivation From the inter-sector coupling structure on L: equation ^2_W (A,D) Book IV Part 3 Ch. 25