Theorem Finset.image₂_subset_iff_left

Modification history