Mathlib v3 is deprecated. Go to Mathlib v4

Theorem max_le_max

Modification history

2018-02-20 15:22

algebra/order_functions.lean

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

Added max_le_max View on Github →