Registry · Corollary V.C10 tau-effective formalized

V.C10 — Sourceless macro flux

Sourceless macro flux: for any closed surface Sigma in tau^3, the net B-sector flux vanishes, integral over Sigma of F_B dot d-Sigma = 0; every flux line entering a region must leave it. Gauss's law is trivially satisfied because every closed surface encloses zero net charge.

Book V Part 4 Ch. 29

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.FluidMacro.ChargeObstruction

Symbol: Tau.BookV.FluidMacro.SourcelessMacroFlux