Theorem Set.image_subset_image2_left

Modification history