mathlib

9e6d4aec - feat(analysis/mellin_transform): Mellin transforms (#18822)

feat(analysis/mellin_transform): Mellin transforms (#18822) This PR defines the Mellin transform of a locally integrable function, and proves it is holomorphic on a suitable vertical strip.