`BookProof.GaussCoordCombo.pderiv_hermiteFactor_of_ne` {i j : Fin d} (h : j ≠ i) (n : ℕ) : pderiv j (hermiteFactor i n) = 0

Initializing...

`BookProof.GaussCoordCombo.pderiv_hermiteFactor_of_ne` {i j : Fin d} (h : j ≠ i) (n : ℕ) : pderiv j (hermiteFactor i n) = 0 · Prove2Me