`BookProof.ChapterGaugeUnconstrainedSpectrum.shift_isUnconstrainedGaugeFixing` : IsUnconstrainedGaugeFixing (fun m : Multiplicative ℤ => permOp (shiftPerm m))

Initializing...

`BookProof.ChapterGaugeUnconstrainedSpectrum.shift_isUnconstrainedGaugeFixing` : IsUnconstrainedGaugeFixing (fun m : Multiplicative ℤ => permOp (shiftPerm m)) · Prove2Me