`BookProof.SqueezedGaussStates.op_squeezeState` (i : Fin d) (α γ v : ℝ) (M : ℕ) : ((α : ℝ) : ℂ) • (X i * squeezeState i v M) + ((γ : ℝ) : ℂ) • pderiv i (squeezeState i v M) = coord

Initializing...

`BookProof.SqueezedGaussStates.op_squeezeState` (i : Fin d) (α γ v : ℝ) (M : ℕ) : ((α : ℝ) : ℂ) • (X i * squeezeState i v M) + ((γ : ℝ) : ℂ) • pderiv i (squeezeState i v M) = coord · Prove2Me