Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-15 20:22 6e21c48e

View on Github →

feat(data/multiset): count_filter

Estimated changes

Modified data/list/basic.lean

added theorem list.count_filter

added theorem list.countp_filter

modified theorem list.filter_filter

Modified data/multiset.lean

added theorem multiset.count_filter

added theorem multiset.countp_filter