`BookProof.SqueezedGaussStates.opCoef_of_lt` (α γ v : ℝ) {M k : ℕ} (hk : k < M) : opCoef α γ v M k = kappa α γ v * sqCoef v M k

Initializing...

`BookProof.SqueezedGaussStates.opCoef_of_lt` (α γ v : ℝ) {M k : ℕ} (hk : k < M) : opCoef α γ v M k = kappa α γ v * sqCoef v M k · Prove2Me