`BookProof.GaussCoordCombo.pderiv_coordCombo_of_ne` {i j : Fin d} (h : j ≠ i) (c : ℕ → ℝ) (p K : ℕ) : pderiv j (coordCombo i c p K) = 0

Initializing...

`BookProof.GaussCoordCombo.pderiv_coordCombo_of_ne` {i j : Fin d} (h : j ≠ i) (c : ℕ → ℝ) (p K : ℕ) : pderiv j (coordCombo i c p K) = 0 · Prove2Me