P
Initializing...
(p q : Polynomial ℝ) : gint (gaussPolyDeriv p * q) = - gint (p * gaussPolyDeriv q) · Prove2Me