Structures · Analysis
FourierAdd
A FourierAdd is a function space on which the Fourier transform is additive.
- Defined in
- Mathlib.Analysis.Fourier.Notation
- Shape
- 2 explicit arguments · adds fourier_add
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances3
- SchwartzMap
- TemperedDistribution
- Subtype
How is a type an instance?
Loading the hierarchy index…
Assumed by20
- FourierTransform.fourierCLE
- FourierTransform.fourierCLM
- FourierTransform.fourierEquiv
- FourierAdd.fourier_add
- FourierTransform.fourier_neg
- FourierTransform.fourierCLE_apply
- FourierTransform.fourier_sum
- FourierTransform.fourierₗ
- FourierTransform.fourierCLM_apply
- FourierTransform.fourierCLE_symm_apply
- SchwartzMap.fourierTransformCLE
- FourierTransform.fourierEquiv_symm_apply
- FourierTransform.fourierₗ_apply
- TemperedDistribution.fourierTransformCLM
- TemperedDistribution.fourierTransformCLM_apply
- FourierTransform.fourier_zero
- FourierTransform.fourierEquiv_apply
- FourierTransform.fourierCLM.congr_simp
- SchwartzMap.fourierTransformCLE_symm_apply
- SchwartzMap.fourierTransformCLE_apply
Ancestors0
No ancestors.