Registry · Definition IV.D155 tau-effective formalized

IV.D155 — Anti-Color

The anti-color of a mode with color class c = n mod 3 is the conjugate class c_bar := (-n) mod 3 = (3-c) mod 3, with holonomy phase omega_3^{-n} = bar{omega_3}^n, the complex conjugate of the color phase.

Book IV Part 5 Ch. 38

Lean Formalization

Module: TauLib.BookIV.Strong.ColorHolonomy

Symbol: Tau.BookIV.Strong.Anticolor