Theorem Multiset.prod_zero

Modification history