`BookProof.MixedLinearEsa.potMomOp_symmetric` (W : V → ℝ) (hW : Function.HasTemperateGrowth W) (m : V) : SymmetricOn (schwartzDomain V) (opL2 (potMomOp W m))

Initializing...

`BookProof.MixedLinearEsa.potMomOp_symmetric` (W : V → ℝ) (hW : Function.HasTemperateGrowth W) (m : V) : SymmetricOn (schwartzDomain V) (opL2 (potMomOp W m)) · Prove2Me