Registry · Theorem V.T253 tau-effective formalized

V.T253 — τ-Alfvén Damping = ι_τ² ω

Alfvén damping rate is ι_τ²·ω_A. B-sector coupling controls dissipation as waves propagate along base τ¹. Zero free parameters.

Book V Part 4 Ch. 32

Dependency Graph

Depends on (2)

V.D312 V.D313

Depended on by (5)

V.P173 V.R445 V.R450 V.T341 V.T345

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauAlfven

Symbol: Tau.BookV.FluidMacro.tau_alfven_damping_rate