Theorem Circle.isCoveringMap_exp

Modification history

2025-12-22 22:40

Mathlib/Analysis/SpecialFunctions/Complex/Circle.lean

feat: covering maps from properly discontinuous actions and discrete subgroups (#7596)

Added Circle.isCoveringMap_exp View on Github →