Theorem MeromorphicOn.Gamma

Modification history

2025-06-07 15:38
Mathlib/Analysis/Meromorphic/Gamma.lean
feat: the Gamma function is meromorphic (#25538)
Added MeromorphicOn.GammaView on Github →