Mathlib v3 is deprecated. Go to Mathlib v4

Theorem min_add

Modification history

2020-08-01 21:07
src/algebra/order_functions.lean
chore(*): bump to Lean 3.18.4 (#3610) …
Deleted min_addView on Github →
2020-04-11 04:27
src/algebra/order_functions.lean
chore(*): switch to lean 3.8.0 (#2361) …
Modified min_addView on Github →
2018-09-17 11:58
algebra/order_functions.lean
feat(algebra/order_functions): add simp rules for min/max_eq_left/right (closes #306)
Modified min_addView on Github →
2018-08-16 11:23
algebra/order_functions.lean
feat(data/padics): p-adic numbers (#262)
Added min_addView on Github →