`BookProof.GaussCoordCombo.pderiv_hermiteFactor_self` (i : Fin d) (n : ℕ) : pderiv i (hermiteFactor i (n + 1)) = ((n : ℂ) + 1) • hermiteFactor i n

Initializing...

`BookProof.GaussCoordCombo.pderiv_hermiteFactor_self` (i : Fin d) (n : ℕ) : pderiv i (hermiteFactor i (n + 1)) = ((n : ℂ) + 1) • hermiteFactor i n · Prove2Me