Registry · Theorem IV.T243 framework not_formalized IV.T243 — Charge-Holonomy Identification Electric charge is the winding number of U(1) holonomy around ^2: equation Q = n e, n Z equation Book IV Part 3 Ch. 21