`BookProof.ShiftedQuadratic.oscTPoly_apply` (a k : Vd d) (i : Fin d) (p : MvPolynomial (Fin d) ℂ) : oscTPoly a k i p = oscPoly i p + (2 * ((k i : ℝ) : ℂ)) • momPoly i p + (((a i :

Initializing...

`BookProof.ShiftedQuadratic.oscTPoly_apply` (a k : Vd d) (i : Fin d) (p : MvPolynomial (Fin d) ℂ) : oscTPoly a k i p = oscPoly i p + (2 * ((k i : ℝ) : ℂ)) • momPoly i p + (((a i : · Prove2Me