`BookProof.ChapterGaugeShiftExample.velocityOp_commute` (v w : LinfZ) : velocityOp v * velocityOp w = velocityOp w * velocityOp v

Initializing...

`BookProof.ChapterGaugeShiftExample.velocityOp_commute` (v w : LinfZ) : velocityOp v * velocityOp w = velocityOp w * velocityOp v · Prove2Me