Theorem Set.image2_subset_iff_right

Modification history