Theorem Set.fst_image_prod_subset

Modification history