Def Profinite.toCompHausEquivalence

Modification history

2023-05-01 01:58
Mathlib/Topology/Category/Profinite/Basic.lean
feat: port Topology.Category.Profinite.Basic (#3705)
Added Profinite.toCompHausEquivalenceView on Github →