Commit 2025-01-28 19:06 edd636fc
View on Github →feat: establish additivity of MeromorphicAt.order under multiplication of meromorphic functions (#21015) These theorems are used in Project VD, which aims to formalize Value Distribution Theory for meromorphic functions on the complex plane.