`BookProof.FourierMultiplierEsa.fourier_mixedOp_apply` (a c : ι → ℝ) (w : ι → V) (κ : ℝ) (f : 𝓢(V, ℂ)) (x : V) : (𝓕 (mixedOp a c w κ f) : 𝓢(V, ℂ)) x = ((mixedSymbolFn a c...

Initializing...

`BookProof.FourierMultiplierEsa.fourier_mixedOp_apply` (a c : ι → ℝ) (w : ι → V) (κ : ℝ) (f : 𝓢(V, ℂ)) (x : V) : (𝓕 (mixedOp a c w κ f) : 𝓢(V, ℂ)) x = ((mixedSymbolFn a c... · Prove2Me