∫ Утверждение Mathlib
preimage_interior_eq_interior_preimage
Mathlib.Topology.Maps.Basic
URI: https://scilib.ai/kg/mathlib#IsOpenMap.preimage_interior_eq_interior_preimage
∫ Утверждение Mathlib
Mathlib.Topology.Maps.Basic
URI: https://scilib.ai/kg/mathlib#IsOpenMap.preimage_interior_eq_interior_preimage