Registry · Theorem IV.T71 tau-effective formalized

IV.T71 — Confinement Theorem

Confinement Theorem: no isolated color-charged state (eta-holonomy exp(2pi i c/3) with c not equiv 0 mod 3) resolves to a stable element of H_partial[omega]; the boundary character sequence fails to converge, so the state has no stable address on L.

Book IV Part 5 Ch. 39

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.Strong.Confinement

Symbol: Tau.BookIV.Strong.ConfinementTheorem