Registry · Definition IV.D169 tau-effective formalized

IV.D169 — Strong configuration space

The strong configuration space C_s[n] = Adm_s[n] / ~_{Gamma_s^*[n]} is the quotient of strongly admissible endomorphisms at stage n by the equivalence relation induced by the canonical strong vacuum, forming the space over which the mass gap is analyzed.

Book IV Part 5 Ch. 41

Lean Formalization

Module: TauLib.BookIV.Strong.YangMillsGap

Symbol: Tau.BookIV.Strong.StrongConfigurationSpace