[Merged by Bors] - feat(Complex/RiemannMapping): first step of the proof#39603

urkud wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

urkud:riemann-mapping-step1urkud/mathlib4:riemann-mapping-step1Copy head branch name to clipboard