Theorem Multiset.dedup_card_eq_card_iff_nodup

Modification history

2023-11-27 10:05
Mathlib/Data/Finset/Card.lean
feat(Data/Finset/Card): add converse to some existing theorems (#8515) …
Added Multiset.dedup_card_eq_card_iff_nodupView on Github →