Registry · Theorem
IV.T75
tau-effective
formalized
IV.T75 — τ-Yang--Mills Mass Gap Theorem
The tau-Yang-Mills Mass Gap Theorem: in the C-sector at E1 level, the strong vacuum Gamma_s^*[omega] has a positive spectral gap delta_infinity^s > 0, the gap mode g[omega] exists, and the gap is non-decreasing and spectrally isolated from below.