Zulip Chat Archive
Stream: Is there code for X?
Topic: Type synonym for Nat ordered by divisibility
Arend Mellendijk (Jul 15 2023 at 12:25):
Is there a type synonym for Nat ordered by divisibility?
I ask because of this discussion about antidiagonal sets. With this ordering Nat should be a CanonicallyOrderedMonoid.
Yury G. Kudryashov (Jul 15 2023 at 12:34):
We have docs#Associates
Yury G. Kudryashov (Jul 15 2023 at 12:35):
But this is a quotient type by a releation which is trivial for Nat.
Last updated: Dec 20 2023 at 11:08 UTC