Registry · Theorem IV.T220 framework not_formalized IV.T220 — A-Sector Rotation Mechanism The -generator drives PMNS mixing through a rotation on the base cycle g_3 of tau3. The rotation amplitude is... Book IV Part 5 Ch. 35