Theorem Set.image_prod_mk_subset_prod_right

Modification history