`BookProof.ShiftedQuadratic.shiftedHPoly_apply_eq_differential` (a k : Vd d) (c b b' : Fin d → ℝ) (p : MvPolynomial (Fin d) ℂ) (x : Vd d) : pgFunT a k (shiftedHPoly a k c b b' p) x

Initializing...

`BookProof.ShiftedQuadratic.shiftedHPoly_apply_eq_differential` (a k : Vd d) (c b b' : Fin d → ℝ) (p : MvPolynomial (Fin d) ℂ) (x : Vd d) : pgFunT a k (shiftedHPoly a k c b b' p) x · Prove2Me