Theorem Finset.disjoint_filter_filter_not

Modification history

2025-12-13 11:44

Mathlib/Data/Finset/Basic.lean

chore(Data/Finset): Rename filter_neg to filter_not (#32582) …

Added Finset.disjoint_filter_filter_not View on Github →