Zulip Chat Archive
Stream: Is there code for X?
Topic: order on |
Eric Rodriguez (Dec 10 2021 at 10:54):
do we have a type synonym that makes the order on a monoid (or whatever the correct generalisation is) |? do we even have a proof that | is a preorder, or a partial order?
Johan Commelin (Dec 10 2021 at 10:55):
dvd_trans exists, and so does dvd_antisymm
Anne Baanen (Dec 10 2021 at 10:55):
We also have the order on docs#associates.
Last updated: Dec 20 2023 at 11:08 UTC