# HG changeset patch
# User paulson
# Date 1710260402 0
# Node ID 3d02d5d4a43c4c58939a3463fda236274d5d2e73
# Parent  1e7b5a258bc5062c5bb0ad83004b807d983dd5c5# Parent  0e9a809dc0b2353621ac845dc6d0b5f608a514a5
merged

diff -r 1e7b5a258bc5 -r 3d02d5d4a43c src/HOL/Complex_Analysis/Complex_Analysis.thy
--- 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