Theorem Finset.image_subset_sups_left

Modification history