Documentation

Mathlib.Analysis.Meromorphic.Complex

The Gamma function is meromorphic #

source
theorem MeromorphicNFOn.Gamma :
MeromorphicNFOn Complex.Gamma Set.univ
source
theorem MeromorphicOn.Gamma :
MeromorphicOn Complex.Gamma Set.univ