Theorem Set.image2_inter_subset_right

Modification history