Theorem CompHaus.toProfinite_obj'

Modification history

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