Documentation
Mathlib
.
Analysis
.
Meromorphic
.
Gamma
Search
return to top
source
Imports
Init
Mathlib.Analysis.CStarAlgebra.Classes
Mathlib.Analysis.Meromorphic.NormalForm
Mathlib.Analysis.SpecialFunctions.Gamma.Beta
Imported by
MeromorphicNFOn
.
Gamma
MeromorphicOn
.
Gamma
The Gamma function is meromorphic
#
source
theorem
MeromorphicNFOn
.
Gamma
:
MeromorphicNFOn
Complex.Gamma
Set.univ
source
theorem
MeromorphicOn
.
Gamma
:
MeromorphicOn
Complex.Gamma
Set.univ