Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.filter_empty

Modification history

2020-11-02 04:55

src/data/finset/basic.lean

refactor(data/list/basic,...): more explicit args (#4866) …

Modified finset.filter_empty View on Github →

2019-03-05 09:21

src/data/finset.lean

feat(data/finset): add filter_empty, filter_subset_filter, prod_filter

Added finset.filter_empty View on Github →