Mathlib v3 is deprecated. Go to Mathlib v4

Theorem le_max_right_iff_true

Modification history

2018-02-20 15:22

algebra/order_functions.lean

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

Deleted le_max_right_iff_true View on Github →

2017-12-07 00:39

algebra/functions.lean

refactor(*): remove local simp AC lemmas …

Modified le_max_right_iff_true View on Github →

2017-07-23 15:16

algebra/order.lean

refactor(*): import content from lean/library/data and library_dev

Added le_max_right_iff_true View on Github →