`BookProof.ShiftedQuadratic.shiftedHPoly_apply` (a k : Vd d) (c b b' : Fin d → ℝ) (p : MvPolynomial (Fin d) ℂ) : shiftedHPoly a k c b b' p = ∑ i, (((c i : ℝ) : ℂ) • oscTPoly a k i

Initializing...

`BookProof.ShiftedQuadratic.shiftedHPoly_apply` (a k : Vd d) (c b b' : Fin d → ℝ) (p : MvPolynomial (Fin d) ℂ) : shiftedHPoly a k c b b' p = ∑ i, (((c i : ℝ) : ℂ) • oscTPoly a k i · Prove2Me