Registry · Theorem V.T340 tau-effective not_formalized V.T340 — Fast reconnection rate --- V.T252 Ledger restatement: fast reconnection v_rec=iota_tau^2*v_A (V.T252) Book V Part 7 Ch. 65