Mathlib v3 is deprecated. Go to Mathlib v4

Theorem min_add_max

Modification history

2020-08-01 21:07

src/algebra/order_functions.lean

chore(*): bump to Lean 3.18.4 (#3610) …

Deleted min_add_max View on Github →

2019-08-20 21:37

src/algebra/order_functions.lean

feat(algebra,equiv,logic): add various lemmas (#1342) …

Added min_add_max View on Github →