Registry · Theorem V.T293 tau-effective not_formalized V.T293 — Wolfenstein etabar --- IV.T167 Ledger restatement: Wolfenstein etabar from pentagon topology (IV.T167) Book V Part 7 Ch. 61