Theorem Multiset.filter_false

Modification history

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