Theorem Finset.filter_subset_univ

Modification history