Registry · Theorem V.T296 tau-effective not_formalized V.T296 — Neutrino mass sum --- V.T165 Ledger restatement: Sigma m_nu=0.089 eV (V.T165) Book V Part 7 Ch. 61