Registry · Theorem V.T309 tau-effective not_formalized V.T309 — Primordial helium fraction Ledger restatement: primordial helium Y_p from tau-native eta_B (V.T245) Book V Part 7 Ch. 62