Theorem Rel.image_subset_image

Modification history