Commit 2025-12-12 00:57 993928be

feat(Analysis/Distribution): definition of tempered distributions (#31757) Define the space of tempered distributions as an abbreviation. We also prove the abstract convergence results for PointwiseConvergenceCLM and define the Fourier transform on tempered distributions. There is a bit of disagreement in the literature about which is the correct topology on tempered distributions. For practical reasons, we will use the pointwise topology, but we might switch later to the bounded topology, if the abstract functional analysis is developed enough to prove the same statements.