Registry · Remark IV.R74 tau-effective not_applicable

IV.R74 — The simplest non-trivial case

The Millennium Problem requires proof for any compact simple gauge group; the simplest non-trivial case is SU(2). Category tau addresses SU(3) directly since the C-sector naturally produces this gauge algebra, which is the physically most important case (QCD).

Book IV Part 5 Ch. 41

Lean Formalization

Module:

Symbol: