Registry · Theorem V.T307 tau-effective not_formalized V.T307 — B-mode amplitude from r=iota_tau^4 Ledger restatement: B-mode amplitude from r=iota_tau^4 (V.D256) Book V Part 7 Ch. 62