`BookProof.ShiftedQuadratic.pgFunT_apply_sum` {ι : Type*} (a k : Vd d) (s : Finset ι) (f : ι → MvPolynomial (Fin d) ℂ) (x : Vd d) : pgFunT a k (∑ v ∈ s, f v) x = ∑ v ∈ s, pgFunT a

Initializing...

`BookProof.ShiftedQuadratic.pgFunT_apply_sum` {ι : Type*} (a k : Vd d) (s : Finset ι) (f : ι → MvPolynomial (Fin d) ℂ) (x : Vd d) : pgFunT a k (∑ v ∈ s, f v) x = ∑ v ∈ s, pgFunT a · Prove2Me