`BookProof.HarmonicOscillator.deriv_deriv_hermiteC` (n : ℕ) (x : ℝ) : deriv (deriv (hermiteC n)) x = ((hermiteNorm n : ℝ) : ℂ)⁻¹ * ((deriv (deriv (hermiteFun n)) x : ℝ) : ℂ)

Initializing...

`BookProof.HarmonicOscillator.deriv_deriv_hermiteC` (n : ℕ) (x : ℝ) : deriv (deriv (hermiteC n)) x = ((hermiteNorm n : ℝ) : ℂ)⁻¹ * ((deriv (deriv (hermiteFun n)) x : ℝ) : ℂ) · Prove2Me