`BookProof.FourierMultiplierEsa.essentiallySelfAdjointOn_of_real_symbol` (P : 𝓢(V, ℂ) →L[ℂ] 𝓢(V, ℂ)) (σ : V → ℝ) (hP : ∀ (f : 𝓢(V, ℂ)) (x : V), (𝓕 (P f) : 𝓢(V,...

Initializing...

`BookProof.FourierMultiplierEsa.essentiallySelfAdjointOn_of_real_symbol` (P : 𝓢(V, ℂ) →L[ℂ] 𝓢(V, ℂ)) (σ : V → ℝ) (hP : ∀ (f : 𝓢(V, ℂ)) (x : V), (𝓕 (P f) : 𝓢(V,... · Prove2Me