Zulip Chat Archive
Stream: condensed mathematics
Topic: Profinite PR(s)
Adam Topaz (Apr 30 2021 at 16:55):
I'm starting to PR some of the stuff related to profinite spaces as limits of finite spaces to mathlib. The first PR is live #7425 in case anyone wants to take a look.
Last updated: Dec 20 2023 at 11:08 UTC