`BookProof.HermiteExpWall.neg_deriv2_psi` (m : ℕ) : (fun x => -deriv (deriv (psi (m + 2))) x) = gaussPoly (kinQ m (aCoef m) (bCoef m))

Initializing...

`BookProof.HermiteExpWall.neg_deriv2_psi` (m : ℕ) : (fun x => -deriv (deriv (psi (m + 2))) x) = gaussPoly (kinQ m (aCoef m) (bCoef m)) · Prove2Me