(p q : Polynomial ℝ) : gint (gaussPolyDeriv (gaussPolyDeriv p) * q) = gint (p * gaussPolyDeriv (gaussPolyDeriv q))

Initializing...

(p q : Polynomial ℝ) : gint (gaussPolyDeriv (gaussPolyDeriv p) * q) = gint (p * gaussPolyDeriv (gaussPolyDeriv q)) · Prove2Me