Commit 2025-03-03 14:53 783c5ebf
View on Github →feat(Topology/Separation): coverings by disjoint clopens (#21079) Any open covering of a profinite space can be refined to a covering by finitely many disjoint nonempty clopens.
feat(Topology/Separation): coverings by disjoint clopens (#21079) Any open covering of a profinite space can be refined to a covering by finitely many disjoint nonempty clopens.