Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.filter_filter

Modification history

2020-11-02 04:55
src/data/list/basic.lean
refactor(data/list/basic,...): more explicit args (#4866) …
Modified list.filter_filterView on Github →
2018-08-15 20:22
data/list/basic.lean
feat(data/multiset): count_filter
Modified list.filter_filterView on Github →
2018-08-15 18:43
data/list/basic.lean
feat(data/multiset): filter_congr, filter_filter
Added list.filter_filterView on Github →