Registry · Theorem V.T310 tau-effective not_formalized V.T310 — Deuterium abundance from tau-native eta_B Ledger restatement: deuterium D/H from tau-native eta_B (V.T241) Book V Part 7 Ch. 62