Theorem ContinuousOn.mapsToRestrict

Modification history

2025-09-09 20:21
Mathlib/Topology/ContinuousOn.lean
feat(Topology): some `IsOpenMap` lemmas (#27527) …
Added ContinuousOn.mapsToRestrictView on Github →