`BookProof.ShiftedQuadratic.pgFunT_apply_zero` (a k : Vd d) (x : Vd d) : pgFunT a k 0 x = 0

Initializing...

`BookProof.ShiftedQuadratic.pgFunT_apply_zero` (a k : Vd d) (x : Vd d) : pgFunT a k 0 x = 0 · Prove2Me