Mathlib v3 is deprecated. Go to Mathlib v4

Def Profinite.iso_of_homeo

Modification history

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