Registry · Theorem V.T231 tau-effective formalized

V.T231 — Jet Helicity Conservation

Jet helicity: (i) sign fixed by T² topology (not free parameter); (ii) conserved in ideal MHD, approximately conserved with reconnection (Taylor); (iii) carried from BH to kpc–Mpc scales producing coherent helical field.

Book V Part 5 Ch. 40

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.AccretionJets

Symbol: Tau.BookV.Astrophysics.jet_helicity_conserved