Theorem Topology.IsInducing.image_eq_isOpen_inter_range

Modification history

2026-05-17 12:59
Mathlib/Topology/Maps/Basic.lean
feat(Topology): subspace of a perfectly normal space is perfectly normal (#38533) …
Added Topology.IsInducing.image_eq_isOpen_inter_rangeView on Github →