P
Initializing...
(p q : Polynomial ℝ) : ∫ x : ℝ, gaussPoly p x * gaussPoly q x = gint (p * q) · Prove2Me