Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.min_insert

Modification history

2020-07-01 10:05

src/data/finset/basic.lean

chore(data/finset, data/multiset): split into smaller files (#3256) …

Modified finset.min_insert View on Github →

2018-05-23 15:22

data/finset.lean

feat(data/finset): max and min

Added finset.min_insert View on Github →