`BookProof.GaussCoordCombo.coordFactor_coordCombo` (i : Fin d) (c : ℕ → ℝ) (p K : ℕ) : CoordFactor i (coordCombo i c p K) (coordComboSum c p K)

Initializing...

`BookProof.GaussCoordCombo.coordFactor_coordCombo` (i : Fin d) (c : ℕ → ℝ) (p K : ℕ) : CoordFactor i (coordCombo i c p K) (coordComboSum c p K) · Prove2Me