`BookProof.HermiteExpWall.gaussPolyDeriv_two_monomial` (m : ℕ) : gaussPolyDeriv (gaussPolyDeriv ((Polynomial.X : Polynomial ℝ) ^ (m + 2))) =

Initializing...

`BookProof.HermiteExpWall.gaussPolyDeriv_two_monomial` (m : ℕ) : gaussPolyDeriv (gaussPolyDeriv ((Polynomial.X : Polynomial ℝ) ^ (m + 2))) = - kinQ m (aCoef m) (bCoef m) · Prove2Me