Theorem Finset.image_subset_infs_left

Modification history