Theorem Finset.image_subset_diffs_right

Modification history