Commit 2026-05-20 04:59 5e4acf8a
View on Github →feat: simple lemmas on circle integrability (#39566) Add several very simple but useful lemmas on circle integrability and circle averages. This material is used in Project VD, formalizing Value Distribution Theory for meromorphic functions on the complex plane.