Commit 2025-01-20 11:48 049c0a24
View on Github →feat: add lemmas for working with orders of analytic functions (#20813) Add three simple lemmas to the AnalyticAt namespace, to simplify working with orders of analytic functions. These lemmas are used in Project VD, which aims to formalize Value Distribution Theory for meromorphic functions on the complex plane.