Commit 2025-05-13 09:36 f167e8dd

feat: eliminate zeros and poles in meromorphic functions (#24587) Show that every meromorphic function with finitely many zeros and poles is equivalent, modulo equality on codiscrete sets, to the product of a factorized rational function and an analytic function without zeros. This material is used in Project VD, which aims to formalize Value Distribution Theory for meromorphic functions on the complex plane.