Theorem Finset.product_subset_product_right

Modification history