Commit 2025-03-25 19:36 3cd8962b
View on Github →feat: re-organize definition of divisors for meromorphic functions (#23302) As discussed on Zulip, change definition of "divisor" into "Function.locallyFinsuppWithin". Adjust definition of divisor to use the new method WithTop.untop₀. This PR is the first in a series of two. The second part will rename the files and implement the divisor of an analytic function. This material is used in Project VD, which aims to formalize Value Distribution Theory for meromorphic functions on the complex plane.