Registry · Theorem V.T302 tau-effective not_formalized V.T302 — Scalar spectral index n_s=1-2/N_e Ledger restatement: n_s=1-2/57 scalar spectral index Book V Part 7 Ch. 62