Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-12-27 15:35 3a78f49a

View on Github →

feat(order/basic): add dual_le and dual_lt lemmas (#1830)

Estimated changes

added theorem order_dual.dual_le
added theorem order_dual.dual_lt