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.

Book IV Part 5 Ch. 41

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Strong.YangMillsGap

Symbol: Tau.BookIV.Strong.YangmillsMassGapTheorem