Commit 2025-12-22 18:39 d2cd5338
View on Github →feat: use new predicate Meromorphic (#33152)
Following a discussion of Zulip, this very short PR ports the first functions to use the new predicate Meromorphic. Introduce two fun_props along the way. A much more massive PR that ports Value Distribution Theory will follow in a separate PR.
#mathlib4 > Introducing Meromorphic @ 💬