Commit 2025-11-19 13:28 be5e7c61
View on Github →feat: describe the logarithmic counting function in terms of circle averages (#31583) Deliver on an open TODO and describe the logarithmic counting function in terms of circle averages. This material is used in Project VD, which aims to formalize Value Distribution Theory for meromorphic functions on the complex plane. The material established here is a step towards Cartan's classic formula for the Nevanlinna characteristic.