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

Initializing...

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