Def is_open_map
Modification history
2020-02-18 09:33
src/topology/maps.lean
refactor(topology/maps): split the proof of `is_open_map_iff_nhds_le` (#2007) …
Modified is_open_mapView on Github →2019-03-03 19:05
src/topology/constructions.lean
chore(topology): Splits topology.basic and topology.continuity (#785) …
Modified is_open_mapView on Github →