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: May 02 2025 at 03:31 UTC
In other words, the usual statement of choice
Last updated: May 02 2025 at 03:31 UTC