`BookProof.ChapterGaugeShiftExample.velocityOp_basisVecL2` (v : LinfZ) (j : ℤ) : velocityOp v (basisVecL2 j) = ((v : ℤ → ℝ) j : ℂ) • basisVecL2 j

Initializing...

`BookProof.ChapterGaugeShiftExample.velocityOp_basisVecL2` (v : LinfZ) (j : ℤ) : velocityOp v (basisVecL2 j) = ((v : ℤ → ℝ) j : ℂ) • basisVecL2 j · Prove2Me