`BookProof.ShiftedQuadratic.shiftedHOp_symmetric` (c b b' : Fin d → ℝ) (hc : ∀ i, c i ≠ 0) : SymmetricOn (polyGaussCoreT (shiftVec c b) (boostVec c b')) (shiftedHOp (shiftVec c b)

Initializing...

`BookProof.ShiftedQuadratic.shiftedHOp_symmetric` (c b b' : Fin d → ℝ) (hc : ∀ i, c i ≠ 0) : SymmetricOn (polyGaussCoreT (shiftVec c b) (boostVec c b')) (shiftedHOp (shiftVec c b) · Prove2Me