Mathlib Changelog
v4
Changelog
About
Github
Theorem
Meromorphic.meromorphicAt
Modification history
2025-12-21 06:52
Mathlib/Analysis/Meromorphic/Basic.lean
feat: introduce predicate `Meromorphic` (#33117) …
Added
Meromorphic.meromorphicAt
View on Github →