Showing changes from revision #3 to #4:
Added | Removed | Changed
A partial order over a type is an order (also called total order or linear order) if it comes with a family of dependent terms
representing the totality condition for the partial order. is called an ordered type, totally ordered type, or linearly ordered type.
Last revised on June 10, 2022 at 17:04:52. See the history of this page for a list of all contributions to it.