`BookProof.SqueezedGaussStates.coordComboSum_sqCoef` (v : ℝ) (M : ℕ) : coordComboSum (sqCoef v M) 0 M = Vsum v M

Initializing...

`BookProof.SqueezedGaussStates.coordComboSum_sqCoef` (v : ℝ) (M : ℕ) : coordComboSum (sqCoef v M) 0 M = Vsum v M · Prove2Me