`BookProof.GaussCoordCombo.hermiteFactor_succ_eq` (i : Fin d) (n : ℕ) : hermiteFactor i (n + 1) = X i * hermiteFactor i n

Initializing...

`BookProof.GaussCoordCombo.hermiteFactor_succ_eq` (i : Fin d) (n : ℕ) : hermiteFactor i (n + 1) = X i * hermiteFactor i n - pderiv i (hermiteFactor i n) · Prove2Me