Theorem isCoveringMap_zpow

Modification history

2026-01-27 22:28

Mathlib/Analysis/Complex/CoveringMap.lean

feat(Analysis, Topology): more examples of covering maps involving the complex plane (#33766)

Added isCoveringMap_zpow View on Github →