Registry · Proposition IV.P89 tau-effective formalized

IV.P89 — Color Quantization

Color charge is quantized: it takes values in the discrete group Z/3Z, not in a continuous interval, because the compact eta-circle S^1 has discrete fundamental group Z and color class is the image under Z -> Z/3Z.

Book IV Part 5 Ch. 38

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Strong.ColorHolonomy

Symbol: Tau.BookIV.Strong.ColorQuantization