`BookProof.MixedLinearEsa.mixedLinearOp_symmetric` (b m : V) : SymmetricOn (schwartzDomain V) (opL2 (mixedLinearOp b m))

Initializing...

`BookProof.MixedLinearEsa.mixedLinearOp_symmetric` (b m : V) : SymmetricOn (schwartzDomain V) (opL2 (mixedLinearOp b m)) · Prove2Me