Theorem Finset.image₂_subset_iff

Modification history