Registry · Theorem V.T285 tau-effective not_formalized V.T285 — NNLO lepton mass correction Ledger restatement: NNLO delta=1/25 lepton mass correction (IV.T156) Book V Part 7 Ch. 60