`BookProof.ShiftedQuadraticMatrix.quadPolyMatT_apply_expand` (a k : Vd d) (A : Matrix (Fin d) (Fin d) ℝ) (f : MvPolynomial (Fin d) ℂ) : quadPolyMatT a k A f = quadPolyMat A f + ∑ p

Initializing...

`BookProof.ShiftedQuadraticMatrix.quadPolyMatT_apply_expand` (a k : Vd d) (A : Matrix (Fin d) (Fin d) ℝ) (f : MvPolynomial (Fin d) ℂ) : quadPolyMatT a k A f = quadPolyMat A f + ∑ p · Prove2Me