(p : Polynomial ℝ) (x : ℝ) : HasDerivAt (gaussPoly p) (gaussPoly (gaussPolyDeriv p) x) x

Initializing...

(p : Polynomial ℝ) (x : ℝ) : HasDerivAt (gaussPoly p) (gaussPoly (gaussPolyDeriv p) x) x · Prove2Me