`BookProof.FourierMultiplierEsa.contDiff_mixedSymbolFn` (a c : ι → ℝ) (w : ι → V) (κ : ℝ) : ContDiff ℝ ((⊤ : ℕ∞) : WithTop ℕ∞) (mixedSymbolFn a c w κ)

Initializing...

`BookProof.FourierMultiplierEsa.contDiff_mixedSymbolFn` (a c : ι → ℝ) (w : ι → V) (κ : ℝ) : ContDiff ℝ ((⊤ : ℕ∞) : WithTop ℕ∞) (mixedSymbolFn a c w κ) · Prove2Me