P
Initializing...
(p q : Polynomial ℝ) : Integrable (fun x : ℝ => gaussPoly p x * gaussPoly q x) · Prove2Me