Def Profinite.toProfiniteAdjToCompHaus

Modification history

2023-05-01 01:58

Mathlib/Topology/Category/Profinite/Basic.lean

feat: port Topology.Category.Profinite.Basic (#3705)

Added Profinite.toProfiniteAdjToCompHaus View on Github →