Theorem isHomeomorph_iff_isQuotientMap_injective

Modification history

2026-04-15 18:36
Mathlib/Topology/Homeomorph/Lemmas.lean
feat(Topology/Maps): add Bourbaki strict maps (#36660) …
Added isHomeomorph_iff_isQuotientMap_injectiveView on Github →