Mathlib Changelog
v3
Changelog
About
Github
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