Theorem Set.image_prod_mk_subset_prod_left

Modification history