Theorem Multiset.nodup_zero

Modification history