Commit 2025-03-17 13:17 ab03f433

feat: implement the Divisor of a Meromorphic Function (#22819) Given a meromorphic function on U, produce a divisor on U. Provide basic simplifier lemmas and establish behavior under (scalar) multiplication and inverses. We implement this material in a file called MeromorphicFunction because future PRs will likely construct divisors attached to meromorphic differential forms. This material is used in Project VD, which aims to formalize Value Distribution Theory for meromorphic functions on the complex plane.