Mathlib v3 is deprecated. Go to Mathlib v4

Theorem max_min_distrib_right

Modification history

2018-02-20 15:22

algebra/order_functions.lean

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

Modified max_min_distrib_right View on Github →

2017-11-19 00:41

algebra/functions.lean

feat(data/multiset): working on multisets, fix rcases bug

Added max_min_distrib_right View on Github →