Theorem Finset.product_subset_product_left

Modification history