Theorem Multiset.prod_cons

Modification history