Theorem Finset.subset_set_image_iff

Modification history