Mathlib v3 is deprecated. Go to Mathlib v4

Def Profinite.homeo_of_iso

Modification history

2021-05-12 16:37
src/topology/category/Profinite/default.lean
feat(topology/category/Profinite): iso_equiv_homeo (#7529) …
Added Profinite.homeo_of_isoView on Github →