Theorem multiset_prod_mem

Modification history