`BookProof.HermiteExpWall.psi_sq` (N : ℕ) (x : ℝ) : psi N x ^ 2 = x ^ (2 * N) * gaussW x

Initializing...

`BookProof.HermiteExpWall.psi_sq` (N : ℕ) (x : ℝ) : psi N x ^ 2 = x ^ (2 * N) * gaussW x · Prove2Me