Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fn_min_add_fn_max

Modification history

2020-08-01 21:07

src/algebra/order_functions.lean

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

Deleted fn_min_add_fn_max View on Github →

2019-08-20 21:37

src/algebra/order_functions.lean

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

Added fn_min_add_fn_max View on Github →