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

Initializing...

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