`BookProof.GaussCoordCombo.coordComboSum_nonneg` (c : ℕ → ℝ) (p K : ℕ) : 0 ≤ coordComboSum c p K

Initializing...

`BookProof.GaussCoordCombo.coordComboSum_nonneg` (c : ℕ → ℝ) (p K : ℕ) : 0 ≤ coordComboSum c p K · Prove2Me