Theorem Multiset.cons_product

Modification history