Registry · Definition V.D286 tau-effective formalized

V.D286 — Poloidal Flux Integral

Poloidal magnetic flux through the torus hole: integral of B through disk bounded by major S¹. Topologically protected in ideal MHD (non-contractible cycle, H_1(T²) ≅ Z²). No S² analogue.

Book V Part 5 Ch. 40

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Astrophysics.AccretionJets

Symbol: Tau.BookV.Astrophysics.PoloidalFluxIntegral