Theorem Set.finset_prod_subset_finset_prod

Modification history