Def CompHaus.homeoOfIso

Modification history

2024-07-16 22:20
Mathlib/Topology/Category/CompHaus/Basic.lean
refactor(Topology/Category): refactor CompHaus.Basic (#13908) …
Deleted CompHaus.homeoOfIsoView on Github →
2023-07-29 10:38
Mathlib/Topology/Category/CompHaus/Basic.lean
feat: some API for explicit limits in CompHaus (#5762) …
Added CompHaus.homeoOfIsoView on Github →