Theorem Multiset.filter_true

Modification history

2025-08-24 17:03
Mathlib/Data/Multiset/Filter.lean
chore(Multiset,Finset): add `filter_true`/`filter_false` (#28838) …
Added Multiset.filter_trueView on Github →