`BookProof.StrichartzWave.potentialOp_essentiallySelfAdjoint` (W : V → ℝ) (hW : Function.HasTemperateGrowth W) : BookProof.FarisLavine.EssentiallySelfAdjointOn (schwartzDomain V) (

Initializing...

`BookProof.StrichartzWave.potentialOp_essentiallySelfAdjoint` (W : V → ℝ) (hW : Function.HasTemperateGrowth W) : BookProof.FarisLavine.EssentiallySelfAdjointOn (schwartzDomain V) ( · Prove2Me