Theorem Multiset.prod_pair

Modification history