Registry · Theorem V.T304 tau-effective not_formalized V.T304 — First acoustic peak ell_1 from tau Ledger restatement: first acoustic peak ell_1=220.6 (V.T190/V.T257) Book V Part 7 Ch. 62