Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-04 17:34 cab5a456

View on Github →

refactor(order/directed): use (≥) instead of swap (≤) (#14474)

Estimated changes

Modified src/analysis/convex/quasiconvex.lean

modified theorem quasiconcave_on.convex

Modified src/category_theory/filtered.lean

Modified src/order/directed.lean

modified theorem exists_le_le

modified theorem exists_lt_of_directed_ge

modified theorem is_bot_iff_is_min

modified theorem is_bot_or_exists_lt

Modified src/order/ideal.lean

modified theorem order.ideal.inter_nonempty