Registry · Theorem V.T333 tau-effective not_formalized V.T333 — Flux threading theorem --- V.T228 Ledger restatement: flux threading theorem (V.T228) Book V Part 7 Ch. 64