Theorem Units.isOpenMap_map

Modification history

2025-09-30 21:50
Mathlib/Topology/Algebra/Constructions.lean
feat: Units.{continuous_map,isOpenMap_map} (#29780)
Added Units.isOpenMap_mapView on Github →