Registry · Theorem V.T337 tau-effective not_formalized V.T337 — She-Leveque from fibration --- V.T248 Ledger restatement: She-Leveque from dim(T^2)=2 (V.T248) Book V Part 7 Ch. 65