Mathlib Changelog
v4
Changelog
About
Github
Theorem
MeromorphicNFOn.Gamma
Modification history
2025-06-07 15:38
Mathlib/Analysis/Meromorphic/Gamma.lean
feat: the Gamma function is meromorphic (#25538)
Added
MeromorphicNFOn.Gamma
View on Github →