Mathlib v3 is deprecated. Go to Mathlib v4

Theorem min_le_max

Modification history

2019-12-17 18:02
src/algebra/order_functions.lean
refactor(topology/algebra/ordered): prove IVT for a connected set (#1806) …
Added min_le_maxView on Github →