P
Initializing...
`BookProof.HermiteExpWall.psi_apply` (N : ℕ) (x : ℝ) : psi N x = x ^ N * gaussH x · Prove2Me