Theorem Circle.isAddQuotientCoveringMap_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.isAddQuotientCoveringMap_expView on Github →