Commit 2025-11-12 08:41 45c37965

feat: establish behavior of Nevanlinna functions when taking powers (#31053) Establish the behavior of Nevanlinna functions when taking powers. 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.