Mathlib v3 is deprecated. Go to Mathlib v4

Theorem if_choice

Modification history

2018-05-25 01:14

logic/basic.lean

refactor(algebra/order_functions): reorganize new lemmas

Deleted if_choice View on Github →

2018-05-23 15:22

logic/basic.lean

feat(data/finset): max and min

Added if_choice View on Github →