Theorem Finset.image₂_subset_right

Modification history