(kappa : Fin D → ℝ) (v : R → Fin D → ℝ) (p : MvPolynomial (Fin D) ℂ) : sqSumPoly kappa v p = kinPart kappa p + potPoly v * p

Initializing...

(kappa : Fin D → ℝ) (v : R → Fin D → ℝ) (p : MvPolynomial (Fin D) ℂ) : sqSumPoly kappa v p = kinPart kappa p + potPoly v * p · Prove2Me