Registry · Theorem V.T299 tau-effective not_formalized V.T299 — Baryogenesis formula --- V.T170/V.T188 Ledger restatement: eta_B=alpha*iota_tau^15*(5/6) (V.T170/V.T188) Book V Part 7 Ch. 61