src/HOL/Complex_Analysis/Complex_Analysis.thy

--- a/src/HOL/Complex_Analysis/Complex_Analysis.thy	Thu Feb 16 10:42:39 2023 +0000
+++ b/src/HOL/Complex_Analysis/Complex_Analysis.thy	Thu Feb 16 12:21:21 2023 +0000
@@ -1,7 +1,7 @@
 theory Complex_Analysis
 imports
   Residue_Theorem
-  Riemann_Mapping
+  Meromorphic
 begin
 
 end