Registry · Definition V.D290 tau-effective formalized

V.D290 — Jet Magnetic Helicity

Magnetic helicity H_m = ∫ A·B dV measures field line linkage and twist. Conserved in ideal MHD by frozen-flux invariant (V.T75).

Book V Part 5 Ch. 40

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.AccretionJets

Symbol: Tau.BookV.Astrophysics.JetHelicity