Theorem Finset.Finset.filter_false

Modification history

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