`BookProof.ShiftedQuadratic.shiftedHPoly_term` (c b b' : Fin d → ℝ) (i : Fin d) (hc : c i ≠ 0) (p : MvPolynomial (Fin d) ℂ) : ((c i : ℝ) : ℂ) • oscTPoly (shiftVec c b) (boostVec c

Initializing...

`BookProof.ShiftedQuadratic.shiftedHPoly_term` (c b b' : Fin d → ℝ) (i : Fin d) (hc : c i ≠ 0) (p : MvPolynomial (Fin d) ℂ) : ((c i : ℝ) : ℂ) • oscTPoly (shiftVec c b) (boostVec c · Prove2Me