Theorem Finset.Finset.filter_true

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_trueView on Github →