Theorem Set.finset_prod_mem_finset_prod

Modification history