`BookProof.ChapterGaugeUnconstrainedSpectrum.signRep_isNotUnconstrained` : ¬ IsUnconstrainedGaugeFixing signRep

Initializing...

`BookProof.ChapterGaugeUnconstrainedSpectrum.signRep_isNotUnconstrained` : ¬ IsUnconstrainedGaugeFixing signRep · Prove2Me