Theorem Multiset.product_zero

Modification history