Commit 2025-06-07 15:38 6384b32e

View on Github →

feat: the Gamma function is meromorphic (#25538)

Estimated changes

Modified Mathlib.lean

Created Mathlib/Analysis/Meromorphic/Gamma.lean

added theorem MeromorphicNFOn.Gamma

added theorem MeromorphicOn.Gamma