Theorem Multiset.prod_map_zpow

Modification history