Zulip Chat Archive
Stream: Is there code for X?
Topic: every type can be well-ordered
Violeta Hernández (Dec 24 2021 at 02:27):
In other words, the usual statement of choice
Last updated: Dec 20 2023 at 11:08 UTC
In other words, the usual statement of choice
Last updated: Dec 20 2023 at 11:08 UTC