Theorem Finset.image_subset_image₂_left

Modification history