`BookProof.ShiftedQuadratic.momTPoly_eq_smul` (k : Vd d) (i : Fin d) (p : MvPolynomial (Fin d) ℂ) : momTPoly k i p = (-Complex.I) • dPolyT k i p

Initializing...

`BookProof.ShiftedQuadratic.momTPoly_eq_smul` (k : Vd d) (i : Fin d) (p : MvPolynomial (Fin d) ℂ) : momTPoly k i p = (-Complex.I) • dPolyT k i p · Prove2Me