Commit 2025-02-03 08:31 e6775eae

View on Github →

feat: principle of isolated zeros for meromorphic functions (#21083) Establish a principle of isolated zeros and show that the set where a meromorphic function has infinite order is clopen in the domain of meromorphy. These theorems are used in Project VD, which aims to formalize Value Distribution Theory for meromorphic functions on the complex plane.

Estimated changes