Registry · Theorem V.T332 tau-effective not_formalized V.T332 — Magnetic field ratio --- V.T230 Ledger restatement: B_tor/B_pol=iota_tau^{-1} (V.T230) Book V Part 7 Ch. 64