Commit 2025-06-02 06:15 f23bfe04
View on Github →feat: introduce the Characteristic Function of Value Distribution Theory (#25014) Define the "characteristic function" attached to a meromorphic function defined on the complex plane. Also known as the "Nevanlinna Height 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.