Theorem Multiset.zero_product

Modification history