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

Initializing...

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