Theorem Finset.prod_list_map_count

Modification history