Mathlib v3 is deprecated. Go to Mathlib v4

Theorem min_choice

Modification history

2018-05-25 01:14

algebra/order_functions.lean

refactor(algebra/order_functions): reorganize new lemmas

Modified min_choice View on Github →

2018-05-23 15:22

logic/basic.lean

feat(data/finset): max and min

Added min_choice View on Github →