`BookProof.SqueezedGaussStates.opCoef_top` (α γ v : ℝ) (M : ℕ) : opCoef α γ v M M = α * sqCoef v M M

Initializing...

`BookProof.SqueezedGaussStates.opCoef_top` (α γ v : ℝ) (M : ℕ) : opCoef α γ v M M = α * sqCoef v M M · Prove2Me