Theorem Multiset.prod_map_le_prod

Modification history