Theorem Continuous.isClosedMap

Modification history

2023-05-28 20:08

Mathlib/Topology/Separation.lean

feat: add lemmas about closed and quotient maps (#4455) …

Deleted Continuous.isClosedMap View on Github →

2023-02-02 07:22

Mathlib/Topology/Separation.lean

feat: port Topology.Separation (#1940)

Added Continuous.isClosedMap View on Github →