Registry · Corollary V.C11 tau-effective formalized

V.C11 — No magnetic monopoles

No magnetic monopoles: no tau-admissible configuration on tau^3 carries a net magnetic charge; integral over Sigma of B dot d-Sigma = 0 for every closed surface Sigma. The magnetic holonomy is trivial by the same boundary structure that forces electric neutrality.

Book V Part 4 Ch. 29

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.ChargeObstruction

Symbol: Tau.BookV.FluidMacro.NoMagneticMonopoles