`BookProof.ChapterGaugeUnconstrainedSpectrum.signRep_constrainedSpectrum` : constrainedSpectrum signRep = {0}

Initializing...

`BookProof.ChapterGaugeUnconstrainedSpectrum.signRep_constrainedSpectrum` : constrainedSpectrum signRep = {0} · Prove2Me