`BookProof.GaussCoordCombo.gaussInt_coordCombo_sq` (i : Fin d) (c : ℕ → ℝ) (p K : ℕ) {R : MvPolynomial (Fin d) ℂ} (hR : pderiv i R = 0) : gaussInt (coordCombo i c p K * (coordCombo

Initializing...

`BookProof.GaussCoordCombo.gaussInt_coordCombo_sq` (i : Fin d) (c : ℕ → ℝ) (p K : ℕ) {R : MvPolynomial (Fin d) ℂ} (hR : pderiv i R = 0) : gaussInt (coordCombo i c p K * (coordCombo · Prove2Me