Theorem Finset.image_subset_diffs_left

Modification history