Theorem Finset.image_subset_image_iff

Modification history