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).

Estimated changes