Zulip Chat Archive
Stream: condensed mathematics
Topic: exact_with_constant
Johan Commelin (Mar 23 2022 at 12:22):
FYI: I'm looking at the sorries in condensed/exact atm.
Adam Topaz (Mar 23 2022 at 13:46):
Is this the argument involving Thychonoff at the end?
Last updated: Dec 20 2023 at 11:08 UTC