Commit 2024-04-16 07:44 38a7a533
View on Github →feat(Analysis/SpecialFunctions/Complex/Circle): expMapCircle
as a PartialHomeomorph
and prove IsLocalHomeomorph
(#11334)
This PR proves IsLocalHomeomorph expMapCircle
(eventually this should be upgraded to IsCoveringMap
, but that's a good deal harder and is probably best done via general theory such as in #7596).