Theorem Finset.filter_subset_filter

Modification history