Theorem Multiset.nodup_iff_ne_cons_cons

Modification history