`BookProof.HermiteExpWall.gaussMoment_eq_integral` (k : ℕ) : gaussMoment k = ∫ x : ℝ, x ^ k * gaussW x

Initializing...

`BookProof.HermiteExpWall.gaussMoment_eq_integral` (k : ℕ) : gaussMoment k = ∫ x : ℝ, x ^ k * gaussW x · Prove2Me