Theorem Set.image2_subset_iff_left

Modification history