Registry · Theorem III.T27 tau-effective formalized

III.T27 — Yang-Mills Gap Theorem

Instantiate the τ-Gap Meta-Theorem for the strong (C) sector: Γ*_s > 0. The τ-internal mass gap is a structural consequence of NF discreteness. Does NOT solve Clay YM (requires identifying τ strong sector with SU(3) gauge theory).

Book III Part 5 Ch. 40

Dependency Graph

Depends on (3)

III.T26 III.D43 III.D44

Depended on by (2)

III.R19 III.T29

Lean Formalization

Module: TauLib.BookIII.Physics.GapTheorem

Symbol: yang_mills_gap_check