Registry · Theorem V.T308 tau-effective not_formalized V.T308 — B-mode detection forecast B-mode detection forecast for CMB-S4 at 14 sigma Book V Part 7 Ch. 62