`BookProof.SqueezedGaussStates.sqCoef_of_le` {v : ℝ} {M m : ℕ} (h : m ≤ M) : sqCoef v M m = v ^ m / (m.factorial : ℝ)

Initializing...

`BookProof.SqueezedGaussStates.sqCoef_of_le` {v : ℝ} {M m : ℕ} (h : m ≤ M) : sqCoef v M m = v ^ m / (m.factorial : ℝ) · Prove2Me