Registry · Definition V.D285 tau-effective formalized

V.D285 — Toroidal Flux Integral

Toroidal magnetic flux: integral of B through meridional cross-section of T², measuring poloidal field threading the torus. Stokes theorem on non-contractible minor S¹ cycle.

Book V Part 5 Ch. 40

Dependency Graph

Depends on (2)

V.D58 V.T75

Depended on by (2)

V.P153 V.T228

Lean Formalization

Module: TauLib.BookV.Astrophysics.AccretionJets

Symbol: Tau.BookV.Astrophysics.ToroidalFluxIntegral