_aux_Mathlib_Analysis_Distribution_SchwartzSpace___macroRules_SchwartzMap_term𝓢(_,_)_1

English

The Fourier transforms satisfy standard symmetry relations on Schwartz space.

Русский

Фурьеровы преобразования удовлетворяют стандартные симметрические соотношения на пространстве Шварца.

LaTeX

$$$ \text{Fourier symmetry on } \mathcal{S}(V,E) $$$

Lean4

@[scoped macro SchwartzMap.«term𝓢(_,_)»]
public meta def «_aux_Mathlib_Analysis_Distribution_SchwartzSpace___macroRules_SchwartzMap_term𝓢(_,_)_1» : Macro✝ := fun
  | `(𝓢($E, $F)) => ``(SchwartzMap $E $F)
  | _ => no_error_if_unused% throw✝ Lean.Macro.Exception.unsupportedSyntax✝

Похожие утверждения