Registry · Theorem V.T325 tau-effective not_formalized V.T325 — QNM frequency ratio iota_tau^{-1} --- V.T168 Ledger restatement: QNM frequency ratio iota_tau^{-1} (V.T168) Book V Part 7 Ch. 64