feat: port Analysis.MellinTransform (#4932)

leanprover-community · Jun 22, 2023 · b1075ae · b1075ae
1 parent 1f60842
commit b1075ae
Show file tree

Hide file tree

Showing 2 changed files with 493 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -603,6 +603,7 @@ import Mathlib.Analysis.LocallyConvex.WeakDual
 import Mathlib.Analysis.LocallyConvex.WithSeminorms
 import Mathlib.Analysis.MeanInequalities
 import Mathlib.Analysis.MeanInequalitiesPow
+import Mathlib.Analysis.MellinTransform
 import Mathlib.Analysis.Normed.Field.Basic
 import Mathlib.Analysis.Normed.Field.InfiniteSum
 import Mathlib.Analysis.Normed.Field.UnitBall