Registry · Definition IV.D160 tau-effective formalized

IV.D160 — Color singlet

A composite state Psi is a color singlet if its total eta-holonomy is trivial: hol_eta(Psi) = 1, equivalently sum_j c_j equiv 0 mod 3, where c_j are the color charges of the constituents.

Book IV Part 5 Ch. 39

Lean Formalization

Module: TauLib.BookIV.Strong.Confinement

Symbol: Tau.BookIV.Strong.ColorSinglet