Mathlib v3 is deprecated. Go to Mathlib v4

Theorem min_le_right_of_le

Modification history

2021-06-15 14:54

src/algebra/order_functions.lean

chore(order/lattice): rename le_sup_left_of_le (#7856) …

Deleted min_le_right_of_le View on Github →

2018-02-20 15:22

algebra/order_functions.lean

chore(algebra,order): cleanup min / max using the lattice theory

Added min_le_right_of_le View on Github →