--- a/src/HOL/Complex_Analysis/Complex_Analysis.thy Wed Mar 20 14:05:15 2024 +0100
+++ b/src/HOL/Complex_Analysis/Complex_Analysis.thy Wed Mar 20 16:05:15 2024 +0100
@@ -2,7 +2,7 @@
imports
Riemann_Mapping
Residue_Theorem
- Meromorphic
+ Weierstrass_Factorization
begin
end