Registry · Theorem V.T252 tau-effective formalized

V.T252 — v_rec = ι_τ² v_A

Fast reconnection rate is ι_τ²·v_A. Reconnection is B-sector topological transition; rate set by κ(B;2)=ι_τ², not by diffusivity.

Book V Part 4 Ch. 31

Dependency Graph

Depends on (1)

V.D311

Depended on by (5)

V.P172 V.R443 V.R448 V.R450 V.T340

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauMHD

Symbol: Tau.BookV.FluidMacro.fast_reconnection_is_iota_sq