`BookProof.ChapterGaugeShiftExample.shiftOp_ne_velocityOp` {m : ℤ} (hm : m ≠ 0) (v : LinfZ) : shiftOp m ≠ velocityOp v

Initializing...

`BookProof.ChapterGaugeShiftExample.shiftOp_ne_velocityOp` {m : ℤ} (hm : m ≠ 0) (v : LinfZ) : shiftOp m ≠ velocityOp v · Prove2Me