Mathlib v3 is deprecated. Go to Mathlib v4

Theorem min_lt_min

Modification history

2022-05-04 11:10
src/order/min_max.lean
feat(order/basic): Notation for `order_dual` (#13798) …
Modified min_lt_minView on Github →
2019-02-07 10:22
src/algebra/order_functions.lean
feat(algebra/order_functions): max_lt_max and min_lt_min (#692)
Added min_lt_minView on Github →