Commit 2026-01-14 14:01 33c35bed

feat: establish function properties of the Nevanlinna functions (#33889) Establish parity, monotonicity, and non-negativity of the main Nevanlinna functions. Note: Monotonicity of the Nevanlinna height is a (surprisingly non-trivial) consequence of Cartan's theorem, which will be submitted in a separate PR. This material is used in Project VD, formalizing Value Distribution Theory for meromorphic functions on the complex plane.