`BookProof.ChapterGaugeComprehensiveFixing.shift_movesEveryPointOfSpectrum` : MovesEveryPointOfSpectrum (Multiplicative ℤ) ℝ

Initializing...

`BookProof.ChapterGaugeComprehensiveFixing.shift_movesEveryPointOfSpectrum` : MovesEveryPointOfSpectrum (Multiplicative ℤ) ℝ · Prove2Me