Theorem Finset.subset_product_image_snd

Modification history