Theorem Multiset.nodup_singleton

Modification history