Random Issue Bot (Mar 14 2021 at 14:21):
Today I chose PR 6291 for discussion!
feat(topology/category/profinite): Initial work to show that profinite sets are limits of finite discrete sets
Created by @Calle Sönne (@callesonne) on 2021-02-18
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: May 09 2021 at 16:20 UTC