mathlib

0cc3cd54 - feat(topology/category): Profinite has colimits (#7434)

feat(topology/category): Profinite has colimits (#7434) Show that a reflective subcategory of a cocomplete category is cocomplete, and derive that `CompHaus` and `Profinite` have colimits.