Commit 2022-04-12 01:13 7ba9c3fe
View on Github →feat(order/basic): More order instances for subtype
(#13134)
Add the has_le
, has_lt
, decidable_le
, decidable_lt
, bounded_order
instances.
Incorporating the decidable_le
and decidable_lt
instances into the linear_order
one breaks some defeqs with ite
/dite
.