merged

--- a/src/HOL/Complex_Analysis/Complex_Analysis.thy	Tue Mar 12 15:58:40 2024 +0100
+++ b/src/HOL/Complex_Analysis/Complex_Analysis.thy	Tue Mar 12 16:20:02 2024 +0000
@@ -1,5 +1,6 @@
 theory Complex_Analysis
-imports
+  imports
+  Riemann_Mapping
   Residue_Theorem
   Meromorphic
 begin