Registry · Theorem V.T327 tau-effective not_formalized V.T327 — EHT shadow correction --- V.T184 Ledger restatement: EHT shadow T^2 correction (V.T184) Book V Part 7 Ch. 64