`BookProof.HermiteExpWall.integral_psi_sq` (N : ℕ) : ∫ x : ℝ, psi N x ^ 2 = gaussMoment (2 * N)

Initializing...

`BookProof.HermiteExpWall.integral_psi_sq` (N : ℕ) : ∫ x : ℝ, psi N x ^ 2 = gaussMoment (2 * N) · Prove2Me