mathlib3

a231f964 - feat(analysis/fourier): Basic framework for Fourier transforms (#18428)

feat(analysis/fourier): Basic framework for Fourier transforms (#18428) This adds a file whose purpose is to define the Fourier transform in very great generality -- this is a spinoff from #18392.