Registry · Theorem V.T292 tau-effective not_formalized V.T292 — Wolfenstein rhobar --- IV.T168 Ledger restatement: Wolfenstein rhobar=1/(2pi) (IV.T168) Book V Part 7 Ch. 61