Mathlib v3 is deprecated. Go to Mathlib v4

Theorem max_choice

Modification history

2018-05-25 01:14

algebra/order_functions.lean

refactor(algebra/order_functions): reorganize new lemmas

Modified max_choice View on Github →

2018-05-23 15:22

logic/basic.lean

feat(data/finset): max and min

Added max_choice View on Github →