Registry · Proposition
IV.P287
tau-effective
not_formalized
IV.P287 — Boundary Mode Census
The lemniscate L = S^1 S^1 supports exactly 15 independent boundary modes: itemize 11 EM-active modes (charged under...
Book IV
Part 5
Ch. 35