Theorem AddCircle.isAddQuotientCoveringMap_zsmul_of_ne_zero

Modification history

2026-01-07 19:24
Mathlib/Topology/Covering/AddCircle.lean
chore(Topology/Covering): adjust some statements (#33721) …
Modified AddCircle.isAddQuotientCoveringMap_zsmul_of_ne_zeroView on Github →
2025-12-22 22:40
Mathlib/Topology/Covering/AddCircle.lean
feat: covering maps from properly discontinuous actions and discrete subgroups (#7596)
Added AddCircle.isAddQuotientCoveringMap_zsmul_of_ne_zeroView on Github →