The Gamma function is meromorphic

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

theorem Meromorphic.Gamma : Meromorphic Complex.Gamma

theorem MeromorphicOn.Gamma {s : Set ℂ} : MeromorphicOn Complex.Gamma s