Commit 2025-11-12 06:28 ac48e6ad
View on Github →feat: behaviour of Nevanlinna functions under multiplication (#30494) Establish the behavior of Nevanlinna functions under multiplication. This material is used in Project VD, which aims to formalize Value Distribution Theory for meromorphic functions on the complex plane. The formula established here is part of a larger package discussing the behavior of the Nenvanlinna height under algebraic manipulations of the functions.