Commit 2026-01-14 05:21 f2ecd307

chore(Analysis/Fourier): split type class, add continuity one (#33633) The combined type-class FourierModule causes problems when using fourier_add since it needs a Semiring R, which does not appear in the statement. Therefore, we split FourierModule into FourierAdd and FourierSMul (similar to the case of LineDeriv. Moreover, we add the class ContinuousFourier which states that the Fourier transform is continuous.