Theorem isHomeomorph_iff_continuous_isClosedMap_bijective

Modification history

2025-07-04 07:44
Mathlib/Topology/Homeomorph/Lemmas.lean
chore: further whitespace fixes (#26708) …
Modified isHomeomorph_iff_continuous_isClosedMap_bijectiveView on Github →
2024-08-23 10:19
Mathlib/Topology/Homeomorph.lean
feat: `IsHomeomorph` predicate (#12533) …
Added isHomeomorph_iff_continuous_isClosedMap_bijectiveView on Github →