Registry · Remark IV.R443 established not_applicable

IV.R443 — Electric vs Magnetic Duality

Charge = boundary obstruction (∂T² via L, nontrivial). Monopole = Euler obstruction (χ(T²)=0, trivial). The asymmetry is topological.

Book IV Part 7 Ch. 63

Dependency Graph

Depends on (1)

Lean Formalization

Module: