Registry · Definition IV.D156 tau-effective formalized

IV.D156 — Color Neutrality

A composite mode or collection of modes is color-neutral (color singlet) if the total eta-holonomy is trivial: sum_i n_i equiv 0 mod 3, where n_i is the eta-winding number of the i-th constituent.

Book IV Part 5 Ch. 38

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Strong.ColorHolonomy

Symbol: Tau.BookIV.Strong.ColorNeutrality