Mathlib v3 is deprecated. Go to Mathlib v4

Theorem min_le_min

Modification history

2018-02-20 15:22

algebra/order_functions.lean

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

Added min_le_min View on Github →