Registry · Remark IV.R63 tau-effective not_applicable

IV.R63 — Comparison with the mass gap

The Confinement Theorem addresses why quarks are confined; the complementary result -- why the strong sector has a mass gap (no massless gluon states) -- is derived via the tau-Gap Meta-Theorem in ch40.

Book IV Part 5 Ch. 39

Lean Formalization

Module:

Symbol: