`BookProof.HarmonicOscillator.hermiteC_eq` (n : ℕ) : hermiteC n = fun x => ((hermiteNorm n : ℝ) : ℂ)⁻¹ * polyGaussC (hermiteR n) x

Initializing...

`BookProof.HarmonicOscillator.hermiteC_eq` (n : ℕ) : hermiteC n = fun x => ((hermiteNorm n : ℝ) : ℂ)⁻¹ * polyGaussC (hermiteR n) x · Prove2Me