Commit 2025-12-17 17:45 b0dabfbf
View on Github →feat: meromorphic functions are measurable (#32675) Show that meromorphic functions are measurable. This material is used in Project VD, which aims to formalize Value Distribution Theory for meromorphic functions on the complex plane.