`BookProof.ChapterGaugeUnconstrainedSpectrum.shift_observableSpectrum_subsingleton` : Subsingleton (observableSpectrum shiftPerm)

Initializing...

`BookProof.ChapterGaugeUnconstrainedSpectrum.shift_observableSpectrum_subsingleton` : Subsingleton (observableSpectrum shiftPerm) · Prove2Me