Theorem IsClosedMap.restrict

Modification history

2026-07-20 01:34
Mathlib/Topology/Constructions.lean
refactor: rename restrict to domRestrict (#25980) …
Deleted IsClosedMap.restrictView on Github →
2025-09-09 20:21
Mathlib/Topology/Constructions.lean
feat(Topology): some `IsOpenMap` lemmas (#27527) …
Added IsClosedMap.restrictView on Github →