P
Initializing...
(p : Polynomial ℝ) : deriv (gaussPoly p) = gaussPoly (gaussPolyDeriv p) · Prove2Me