Mathlib v3 is deprecated. Go to Mathlib v4

Theorem le_max_left_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 le_max_left_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 le_max_left_of_le View on Github →