`BookProof.ChapterGaugeShiftExample.shiftOp_adjoint` (m : ℤ) : ContinuousLinearMap.adjoint (shiftOp m) = shiftOp (-m)

Initializing...

`BookProof.ChapterGaugeShiftExample.shiftOp_adjoint` (m : ℤ) : ContinuousLinearMap.adjoint (shiftOp m) = shiftOp (-m) · Prove2Me