`BookProof.HermiteExpWall.integrable_exp_mul_pow_gaussW` (c : ℝ) (k : ℕ) : Integrable (fun x : ℝ => Real.exp (c * x) * (x ^ k * gaussW x))

Initializing...

`BookProof.HermiteExpWall.integrable_exp_mul_pow_gaussW` (c : ℝ) (k : ℕ) : Integrable (fun x : ℝ => Real.exp (c * x) * (x ^ k * gaussW x)) · Prove2Me