Registry · Remark IV.R368 tau-effective not_applicable

IV.R368 — Why (1,0) winding

The minimal EM loop has winding number (1,0) on T^2: one traversal of the gamma-direction (B-sector), zero in the eta-direction (C-sector/strong); the minimal holonomy is iota_tau^2, with higher windings (n,0) giving n iota_tau^2.

Book IV Part 4 Ch. 29

Lean Formalization

Module: