Theorem IsOpenQuotientMap.weaklyLocallyCompactSpace

Modification history

2024-10-17 02:58

Mathlib/Topology/Compactness/LocallyCompact.lean

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

Added IsOpenQuotientMap.weaklyLocallyCompactSpace View on Github →