Theorem Set.image_prod_mk_subset_prod

Modification history