Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-03 12:32 6ddc3fc0

View on Github →

feat(data/finset): max_of_ne_empty, min_of_ne_empty

Estimated changes

Modified data/finset.lean

added theorem finset.max_of_ne_empty

added theorem finset.min_of_ne_empty