Registry · Remark IV.R55 tau-effective not_applicable

IV.R55 — Contrast with electric charge

Electric charge (from gamma-circle compactness) is also quantized but has one type on the lattice m*e_0; color charge has three types distinguished by mod-3 residue because the eta-circle's holonomy is ternary at depth 3.

Book IV Part 5 Ch. 38

Lean Formalization

Module:

Symbol: