Mathlib v3 is deprecated. Go to Mathlib v4

Theorem CompHaus.is_iso_of_bijective

Modification history

2021-08-16 06:19
src/topology/category/CompHaus/default.lean
fix(*): fix universe levels (#8677) …
Modified CompHaus.is_iso_of_bijectiveView on Github →
2021-05-02 09:28
src/topology/category/CompHaus.lean
feat(topology/category/Profinite): Any continuous bijection of profinite spaces is an isomorphism. (#7430)
Added CompHaus.is_iso_of_bijectiveView on Github →