Registry · Theorem
IV.T280
tau-effective
not_formalized
IV.T280 — Gauge Invariance from Lemniscate Structure
The lemniscate L = S^1 S^1 gives gauge invariance through its character algebra: enumerate Each S^1 factor carries...