Theorem IsDiscrete.image_of_isOpenMap

Modification history

2025-12-09 01:44

Mathlib/Topology/DiscreteSubset.lean

feat(Topology): basic properties of discrete sets (#32530)

Added IsDiscrete.image_of_isOpenMap View on Github →