Theorem IsQuotientCoveringMap.isCancelSMul

Modification history

2026-09-11 01:27
Mathlib/Topology/Covering/Quotient.lean
chore: add missing `to_additive` docstrings in Topology, Geometry and Analysis (#41642) …
Modified IsQuotientCoveringMap.isCancelSMulView on Github →
2026-06-10 13:50
Mathlib/Topology/Covering/Quotient.lean
chore(Topology/Covering/Quotient): automated extraction (#40467) …
Modified IsQuotientCoveringMap.isCancelSMulView on Github →
2025-12-22 22:40
Mathlib/Topology/Covering/Quotient.lean
feat: covering maps from properly discontinuous actions and discrete subgroups (#7596)
Added IsQuotientCoveringMap.isCancelSMulView on Github →