Mathlib v3 is deprecated. Go to Mathlib v4

Theorem homeomorph.compact_space

Modification history

2021-12-30 14:54

src/topology/homeomorph.lean

feat(topology/homeomorph): homeo of continuous equivalence from compact to T2 (#11072)

Deleted homeomorph.compact_space View on Github →

2021-08-16 02:20

src/topology/homeomorph.lean

feat(topology/category/*/projective): CompHaus and Profinite have enough projectives (#8613)

Added homeomorph.compact_space View on Github →