Registry · Proposition
IV.P316
tau-effective
not_formalized
IV.P316 — Scope of the Mass Gap Result
The mass gap result (Theorem thm:iv-ym-mass-gap) is -effective: the -gap meta-theorem applies rigorously, and the...
Book IV
Part 4
Ch. 31