`BookProof.ChapterGaugeUnconstrainedSpectrum.shiftPerm_movesEveryPoint` (m : Multiplicative ℤ) (hm : m ≠ 1) (k : ℤ) : shiftPerm m k ≠ k

Initializing...

`BookProof.ChapterGaugeUnconstrainedSpectrum.shiftPerm_movesEveryPoint` (m : Multiplicative ℤ) (hm : m ≠ 1) (k : ℤ) : shiftPerm m k ≠ k · Prove2Me