`BookProof.FourierMultiplierEsa.momentumOp_essentiallySelfAdjoint` (m : V) : BookProof.FarisLavine.EssentiallySelfAdjointOn (schwartzDomain V) (opL2 (momentumOp m))

Initializing...

`BookProof.FourierMultiplierEsa.momentumOp_essentiallySelfAdjoint` (m : V) : BookProof.FarisLavine.EssentiallySelfAdjointOn (schwartzDomain V) (opL2 (momentumOp m)) · Prove2Me