Theorem TopologicalSpace.Opens.mem_map

Modification history

2026-01-23 14:21
Mathlib/Topology/Category/TopCat/Opens.lean
chore: add missing mem lemmas (#33801) …
Added TopologicalSpace.Opens.mem_mapView on Github →