Theorem IsOpenQuotientMap.dense_preimage_iff

Modification history

2024-10-03 16:01
Mathlib/Topology/Maps/OpenQuotient.lean
feat(Topology/Group): drop an unneeded assumption (#16551) …
Added IsOpenQuotientMap.dense_preimage_iffView on Github →