Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-15 18:43 46229d2a

View on Github →

feat(data/multiset): filter_congr, filter_filter

Estimated changes

Modified data/finset.lean

added theorem finset.filter_congr

Modified data/list/basic.lean

added theorem list.filter_filter

Modified data/multiset.lean

added theorem multiset.filter_add_filter

added theorem multiset.filter_add_not

added theorem multiset.filter_congr

added theorem multiset.filter_filter