`BookProof.GaussCoordCombo.pderiv_aeval_self` (i : Fin d) (f : Polynomial ℂ) : pderiv i (Polynomial.aeval (X i : MvPolynomial (Fin d) ℂ) f) = Polynomial.aeval (X i : MvPolynomial (

Initializing...

`BookProof.GaussCoordCombo.pderiv_aeval_self` (i : Fin d) (f : Polynomial ℂ) : pderiv i (Polynomial.aeval (X i : MvPolynomial (Fin d) ℂ) f) = Polynomial.aeval (X i : MvPolynomial ( · Prove2Me