Commit 2025-05-15 08:18 d8bc4512
View on Github →feat: introduce the Proximity Function of Value Distribution Theory (#24876) Define the "proximity function" attached to a meromorphic function defined on the complex plane. Also known as the "Nevanlinna Proximity Function", this is one of the three main functions used in Value Distribution Theory. This material is used in Project VD, which aims to formalize Value Distribution Theory for meromorphic functions on the complex plane.