`BookProof.StrichartzWave.multiplierOp_essentiallySelfAdjoint` (m : V → ℝ) (hm : Function.HasTemperateGrowth m) : BookProof.FarisLavine.EssentiallySelfAdjointOn (schwartzDomain V)

Initializing...

`BookProof.StrichartzWave.multiplierOp_essentiallySelfAdjoint` (m : V → ℝ) (hm : Function.HasTemperateGrowth m) : BookProof.FarisLavine.EssentiallySelfAdjointOn (schwartzDomain V) · Prove2Me