Theorem Finset.subset_product_image_fst

Modification history