Theorem Finset.image_subset_image₂_right

Modification history