`BookProof.FourierMultiplierEsa.mixedOp_essentiallySelfAdjoint` (a c : ι → ℝ) (w : ι → V) (κ : ℝ) : BookProof.FarisLavine.EssentiallySelfAdjointOn (schwartzDomain V) (opL2 (mixedOp

Initializing...

`BookProof.FourierMultiplierEsa.mixedOp_essentiallySelfAdjoint` (a c : ι → ℝ) (w : ι → V) (κ : ℝ) : BookProof.FarisLavine.EssentiallySelfAdjointOn (schwartzDomain V) (opL2 (mixedOp · Prove2Me