Registry · Theorem V.T341 tau-effective not_formalized V.T341 — tau-Alfven damping --- V.T253 Ledger restatement: tau-Alfven coronal damping (V.T253) Book V Part 7 Ch. 65