`BookProof.ChapterGaugeShiftExample.shift_gauge_fixing_incomplete` {f : L2Z} (hf : f ≠ 0) {m : ℤ} (hm : m ≠ 0) : shiftOp m f ≠ f

Initializing...

`BookProof.ChapterGaugeShiftExample.shift_gauge_fixing_incomplete` {f : L2Z} (hf : f ≠ 0) {m : ℤ} (hm : m ≠ 0) : shiftOp m f ≠ f · Prove2Me