Registry · Theorem V.T281 tau-effective not_formalized V.T281 — Higgs mass from n=7 Ledger restatement: Higgs mass n=7 formula (IV.T166) Book V Part 7 Ch. 60