Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous.continuous_symm_of_equiv_compact_to_t2

Modification history

2021-12-30 14:54
src/topology/homeomorph.lean
feat(topology/homeomorph): homeo of continuous equivalence from compact to T2 (#11072)
Added continuous.continuous_symm_of_equiv_compact_to_t2View on Github →