Mathlib v3 is deprecated. Go to Mathlib v4

Theorem order_dual.dual_le

Modification history

2022-07-17 04:14
src/order/basic.lean
chore(order/basic): remove two lemmas breaking API boundaries (#15401) …
Deleted order_dual.dual_leView on Github →
2020-02-20 15:52
src/order/basic.lean
fix(*): remove loopy simp lemmas (#2026)
Modified order_dual.dual_leView on Github →
2019-12-27 15:35
src/order/basic.lean
feat(order/basic): add `dual_le` and `dual_lt` lemmas (#1830)
Added order_dual.dual_leView on Github →