Theorem IsDiscrete.image_of_isOpenMap_of_isOpen

Modification history

2025-12-09 01:44
Mathlib/Topology/DiscreteSubset.lean
feat(Topology): basic properties of discrete sets (#32530)
Added IsDiscrete.image_of_isOpenMap_of_isOpenView on Github →