Theorem Finset.inter_subset_inter_right

Modification history