| Tue, 15 Apr 2025 15:17:25 +0200 | Manuel Eberl | new lemmas for HOL-Complex_Analysis; overhaul of isolated_zeros | file | diff | annotate |
| Wed, 20 Mar 2024 16:05:15 +0100 | Manuel Eberl | more general definition of meromorphicity; Weierstraß factorisation theorem | file | diff | annotate |