Theorem Multiset.product_cons

Modification history