Registry · Theorem V.T228 tau-effective formalized

V.T228 — Flux Threading Theorem

Both Φ_tor and Φ_pol conserved in ideal MHD on T². Φ_pol is topologically protected (requires reconnection to change). On S², H_1(S²) = 0 so Φ_hole = 0 is only topologically stable value.

Book V Part 5 Ch. 40

Dependency Graph

Depends on (4)

V.D285 V.D286 V.T75 V.C11

Depended on by (10)

V.D289 V.D291 V.P153 V.R410 V.R417 V.T231 V.T232 V.T331 V.T332 V.T333

Lean Formalization

Module: TauLib.BookV.Astrophysics.AccretionJets

Symbol: Tau.BookV.Astrophysics.flux_threading_theorem