Theorem TopCat.isIso_iff_isHomeomorph

Modification history

2025-05-19 05:18

Mathlib/Topology/Category/TopCat/Basic.lean

feat: `TopModuleCat` is a `CategoryWithHomology` (#24976) …

Added TopCat.isIso_iff_isHomeomorph View on Github →