Registry · Theorem V.T311 tau-effective not_formalized V.T311 — He-3/H from tau-native eta_B Ledger restatement: He-3/H from tau-native eta_B (V.T247) Book V Part 7 Ch. 62