Commit 2025-11-12 01:56 ede1a9b1

feat(Analysis/Fourier): introduce notation type class for the Fourier transform (#31115) The reason for introducing this is that the Fourier transform extends to various function spaces, where it is no longer defined as an integral. We still want to use the notation 𝓕 in that case. In the file FourierSchwartz it becomes apparent how the current definition of 𝓕 causes a lot of coercions that should not be there as we lose the information that the Fourier transform of a Schwartz function is again a Schwartz function. Using the new notation type class for Schwartz function is done in a subsequent PR.