{W : ℝ → ℝ} (hW : Continuous W) (hWb : ExpBounded W) (p q : Polynomial ℝ) : Integrable (fun x : ℝ => W x * (gaussPoly p x * gaussPoly q x))

Initializing...

{W : ℝ → ℝ} (hW : Continuous W) (hWb : ExpBounded W) (p q : Polynomial ℝ) : Integrable (fun x : ℝ => W x * (gaussPoly p x * gaussPoly q x)) · Prove2Me