`BookProof.NsSpatialMultiplier.spatialMomentum_esa` (c : ι → ℝ) (w : ι → V) : BookProof.FarisLavine.EssentiallySelfAdjointOn (schwartzDomain V) (opL2 (firstOrderOp c w))

Initializing...

`BookProof.NsSpatialMultiplier.spatialMomentum_esa` (c : ι → ℝ) (w : ι → V) : BookProof.FarisLavine.EssentiallySelfAdjointOn (schwartzDomain V) (opL2 (firstOrderOp c w)) · Prove2Me