mathlib

d416ad69 - feat(topology/category/Profinite): add category of profinite top. spaces (#5147)