Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous.homeo_of_equiv_compact_to_t2.t1_counterexample

Modification history

2022-02-14 21:58
src/topology/alexandroff.lean
refactor(topology/constructions): turn `cofinite_topology` into a type synonym (#11967) …
Modified continuous.homeo_of_equiv_compact_to_t2.t1_counterexampleView on Github →
2021-12-30 14:54
src/topology/homeomorph.lean
feat(topology/homeomorph): homeo of continuous equivalence from compact to T2 (#11072)
Added continuous.homeo_of_equiv_compact_to_t2.t1_counterexampleView on Github →