`BookProof.MixedLinearEsa.posOp_symmetric` (b : V) : SymmetricOn (schwartzDomain V) (opL2 (posOp b))

Initializing...

`BookProof.MixedLinearEsa.posOp_symmetric` (b : V) : SymmetricOn (schwartzDomain V) (opL2 (posOp b)) · Prove2Me