Commit 2025-03-25 14:26 3c3a4e89
View on Github →feat: elementary properties of meromorphic functions in normal form (#23005) Establishes locality properties of meromorphic functions in normal form, analogous to existing statements for analytic functions. Establishes that meromorphic functions have normal form outside of a codiscrete set. Describes the vanishing locus in terms of the order function. Establishes elementary criteria to guarantee normal form.