`BookProof.HermiteExpWall.integral_gaussPoly_sq` (q : Polynomial ℝ) : ∫ x : ℝ, gaussPoly q x ^ 2 = gint (q * q)

Initializing...

`BookProof.HermiteExpWall.integral_gaussPoly_sq` (q : Polynomial ℝ) : ∫ x : ℝ, gaussPoly q x ^ 2 = gint (q * q) · Prove2Me