(p : Polynomial ℝ) : deriv (deriv (gaussPoly p)) = gaussPoly (gaussPolyDeriv (gaussPolyDeriv p))

Initializing...

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