Registry · Theorem
V.T75
tau-effective
formalized
V.T75 — Frozen-flux invariant
Frozen-flux invariant (Alfven's theorem): in ideal tau-MHD (Rm -> infinity), the magnetic flux through any material surface is conserved, d/dt integral_S B dot dS = 0; field lines move with the fluid. Follows from B-sector holonomy preservation under ideal flow.