Theorem Finset.Finset.filter_subset_filter

Modification history