Theorem le_dual_eq_le
Modification history
2018-08-14 16:11
order/basic.lean
feat(order): add order_dual (similar to with_top/with_bot) and dual order instances
Deleted le_dual_eq_leView on Github →2017-08-02 15:24
algebra/order.lean
refactor(*): switch from order_pair to partial_order
Modified le_dual_eq_leView on Github →