Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-06 19:23 1d5202ae

View on Github →

feat(data/multiset): add some lemmas about filter (eq x) (#10626)

Estimated changes

added theorem multiset.count_filter
added theorem multiset.filter_eq'
added theorem multiset.filter_eq
added theorem multiset.pow_count