`BookProof.SqueezedGaussStates.Acoef_rec` (v : ℝ) (m : ℕ) : (2 * (m : ℝ) + 2) * Acoef v (m + 1) = 4 * v ^ 2 * (2 * (m : ℝ) + 1) * Acoef v m

Initializing...

`BookProof.SqueezedGaussStates.Acoef_rec` (v : ℝ) (m : ℕ) : (2 * (m : ℝ) + 2) * Acoef v (m + 1) = 4 * v ^ 2 * (2 * (m : ℝ) + 1) * Acoef v m · Prove2Me