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: Feb 28 2026 at 14:05 UTC
In other words, the usual statement of choice
Last updated: Feb 28 2026 at 14:05 UTC