`BookProof.FullQuadratic.fqOp_symmetric` (P Q S : Fin d → Fin d → ℝ) (b b' : Fin d → ℝ) : SymmetricOn (polyGaussCore (d := d)) (fqOp P Q S b b')

Initializing...

`BookProof.FullQuadratic.fqOp_symmetric` (P Q S : Fin d → Fin d → ℝ) (b b' : Fin d → ℝ) : SymmetricOn (polyGaussCore (d := d)) (fqOp P Q S b b') · Prove2Me