Theorem Finset.image₂_inter_union_subset_union

Modification history