Commit 2024-04-01 18:06 16f05008

View on Github →

feat: cleanup file on derivative of Fourier transform (#11779) Rename mul_L to fourierSMulRight for predictability, expand the file-level docstring, extract a few lemmas from proofs, change fourier_integral to fourierIntegral in a few lemma names. There is essentially no new mathematical content. This is a preparation for the study of higher order derivatives in #11776.

Estimated changes