Commit 2024-03-13 20:53 a30ed54e

View on Github →

feat: relationship between Mellin transform/inverse and Fourier transform/inverse (#10944)

Estimated changes

Modified Mathlib.lean

Created Mathlib/Analysis/MellinInversion.lean

added theorem mellinInv_eq_fourierIntegralInv

added theorem mellin_eq_fourierIntegral

added theorem mellin_inversion

Modified Mathlib/Analysis/MellinTransform.lean

added def Complex.VerticalIntegrable

added def mellinInv