Commit 2025-07-03 05:41 a2882c0e
View on Github →feat: simple lemmas on circle integrability (#26618) Add very simple but useful lemmas concerning circle integrability of functions on the complex plane. This material is used in Project VD, which aims to formalize Value Distribution Theory for meromorphic functions on the complex plane.