`BookProof.GaussCoordCombo.gaussInt_creation` (i : Fin d) (p q : MvPolynomial (Fin d) ℂ) : gaussInt ((X i * p - pderiv i p) * q) = gaussInt (p * pderiv i q)

Initializing...

`BookProof.GaussCoordCombo.gaussInt_creation` (i : Fin d) (p q : MvPolynomial (Fin d) ℂ) : gaussInt ((X i * p - pderiv i p) * q) = gaussInt (p * pderiv i q) · Prove2Me