`BookProof.HermiteExpWall.gaussPolyDeriv_monomial` (m : ℕ) : gaussPolyDeriv ((Polynomial.X : Polynomial ℝ) ^ (m + 2)) = Polynomial.C ((m : ℝ) + 2) * Polynomial.X ^ (m + 1)

Initializing...

`BookProof.HermiteExpWall.gaussPolyDeriv_monomial` (m : ℕ) : gaussPolyDeriv ((Polynomial.X : Polynomial ℝ) ^ (m + 2)) = Polynomial.C ((m : ℝ) + 2) * Polynomial.X ^ (m + 1) - Polyno · Prove2Me