`BookProof.ShiftedQuadratic.shiftedHPoly_eq_quadPoly` (c b b' : Fin d → ℝ) (hc : ∀ i, c i ≠ 0) (p : MvPolynomial (Fin d) ℂ) : shiftedHPoly (shiftVec c b) (boostVec c b') c b b' p =

Initializing...

`BookProof.ShiftedQuadratic.shiftedHPoly_eq_quadPoly` (c b b' : Fin d → ℝ) (hc : ∀ i, c i ≠ 0) (p : MvPolynomial (Fin d) ℂ) : shiftedHPoly (shiftVec c b) (boostVec c b') c b b' p = · Prove2Me