Registry · Remark IV.R54 tau-effective not_applicable

IV.R54 — Labeling convention

The labels red, green, blue are purely conventional; the physical content is the Z/3Z classification of eta-holonomy, and any relabeling of the three classes is a gauge transformation with no physical consequence.

Book IV Part 5 Ch. 38

Lean Formalization

Module:

Symbol: