`BookProof.ShiftedQuadraticMatrix.quadTermT_apply` (a k : Vd d) (A : Matrix (Fin d) (Fin d) ℝ) (p q : Fin d) (f : MvPolynomial (Fin d) ℂ) : ((A p q : ℝ) : ℂ) • ((momTPoly k p).comp

Initializing...

`BookProof.ShiftedQuadraticMatrix.quadTermT_apply` (a k : Vd d) (A : Matrix (Fin d) (Fin d) ℝ) (p q : Fin d) (f : MvPolynomial (Fin d) ℂ) : ((A p q : ℝ) : ℂ) • ((momTPoly k p).comp · Prove2Me