Commit 2026-09-29 22:38 262b64d8
View on Github →feat: Truncated Counting Function of Value Distribution Theory (#41809) Introduce (and provide API for) the Truncated Logarithmic Counting Functions. These differ from the Logarithmic Counting Function in that they disregard pole orders and count all poles with multiplicity one. The truncated counting function is the quantity through which the Second Main Theorem of Value Distribution Theory is classically stated. This material is used in Project VD, formalizing Value Distribution Theory for meromorphic functions on the complex plane. Claude Code was used to create this PR.