Registry · Remark IV.R475 framework not_formalized

IV.R475 — From iota_tau to

Since ^2_W = iota_tau(1 - iota_tau), the CF of the Weinberg angle is not a simple transform of the CF of iota_tau....

Book IV Part 3 Ch. 27