Theorem IsOpenQuotientMap.locallyCompactSpace

Modification history

2024-10-17 02:58

Mathlib/Topology/Compactness/LocallyCompact.lean

chore(Topology/Group): move `QuotientGroup` to a new file (#17473)

Added IsOpenQuotientMap.locallyCompactSpace View on Github →