`BookProof.HermiteExpWall.gint_X_pow` (k : ℕ) : gint ((Polynomial.X : Polynomial ℝ) ^ k) = gaussMoment k

Initializing...

`BookProof.HermiteExpWall.gint_X_pow` (k : ℕ) : gint ((Polynomial.X : Polynomial ℝ) ^ k) = gaussMoment k · Prove2Me