Theorem Finset.prod_map_toList

Modification history