Registry · Theorem V.T331 tau-effective not_formalized V.T331 — Circular polarization winding --- V.T229 Ledger restatement: circular polarization winding (V.T229) Book V Part 7 Ch. 64