mathlib

917c3c07 - feat (analysis/mellin_transform): API for mellin transforms (#19110)

feat (analysis/mellin_transform): API for mellin transforms (#19110) This adds results about Mellin transforms of things like `f(a * x)` or `f (x ^ a)` in terms of the Mellin transform of `f`.