Theorem IsOpen.image_val

Modification history

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