feat: port Analysis.SpecialFunctions.Gamma.BohrMollerup (#5486)

leanprover-community · Jun 26, 2023 · 3aedc70 · 3aedc70
1 parent b956b63
commit 3aedc70
Show file tree

Hide file tree

Showing 2 changed files with 532 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -722,6 +722,7 @@ import Mathlib.Analysis.SpecialFunctions.Exp
 import Mathlib.Analysis.SpecialFunctions.ExpDeriv
 import Mathlib.Analysis.SpecialFunctions.Exponential
 import Mathlib.Analysis.SpecialFunctions.Gamma.Basic
+import Mathlib.Analysis.SpecialFunctions.Gamma.BohrMollerup
 import Mathlib.Analysis.SpecialFunctions.Gaussian
 import Mathlib.Analysis.SpecialFunctions.ImproperIntegrals
 import Mathlib.Analysis.SpecialFunctions.Integrals