Registry · Theorem IV.T70 tau-effective formalized

IV.T70 — Color Number Theorem

The number of color charges is N_c = 3, uniquely determined by primorial depth d=3, the CRT decomposition Z/30Z = Z/2Z x Z/3Z x Z/5Z, removal of the polarity factor Z/2Z, and chi_minus-dominant resolution of the Z/3Z factor.

Book IV Part 5 Ch. 38

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Strong.ColorHolonomy

Symbol: Tau.BookIV.Strong.ColorNumberTheorem