Theorem Finset.image₂_subset_iff_right

Modification history