Registry · Theorem
V.T73
tau-effective
formalized
V.T73 — No Isolated Charges
No Isolated Charges theorem: for any tau-admissible configuration on tau^3, the total boundary charge vanishes, Q_partial^total = integral over L of Hol_{B+C}(d) d-sigma = 0; every electric charge has a compensating partner, and global neutrality is a topological necessity.
Book V
Part 4
Ch. 29