Theorem Multiset.prod_pos

Modification history