Commit 2025-05-01 09:00 32308cd1
View on Github →feat: congruence lemmas for divisors of meromorphic functions (#23363) Deliver on open TODO and state elementary congruence lemmas for divisors of meromorphic functions. This material is used in Project VD, which aims to formalize Value Distribution Theory for meromorphic functions on the complex plane.