Theorem Finset.image_subset_infs_right

Modification history