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

Initializing...

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