Registry · Theorem V.T338 tau-effective not_formalized V.T338 — 5/3 from tau dimensions --- V.T250 Ledger restatement: Kolmogorov 5/3 from tau (V.T250) Book V Part 7 Ch. 65