Theorem Multiset.toFinset_card_eq_card_iff_nodup

Modification history