Theorem Equiv.isHomeomorph_iff

Modification history

2026-05-02 21:31
Mathlib/Topology/Homeomorph/Lemmas.lean
feat(Topology/Homeomorph): add Equiv.IsHomeomorph_iff and LinearEquiv.IsHomeomorph_iff (#38660) …
Added Equiv.isHomeomorph_iffView on Github →