Registry · Theorem V.T291 tau-effective not_formalized V.T291 — Wolfenstein A from tau --- IV.T165 Ledger restatement: Wolfenstein A=1-(3/2)iota_tau^2 (IV.T165) Book V Part 7 Ch. 61