Mathlib v3 is deprecated. Go to Mathlib v4

Theorem homeomorph.comap_cocompact

Modification history

2022-05-02 13:45

src/topology/homeomorph.lean

feat(topology/homeomorph): add `(co)map_cocompact` (#13861) …

Added homeomorph.comap_cocompact View on Github →