Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.nodup_iff_pairwise

Modification history

2020-08-15 12:43
src/data/multiset/nodup.lean
feat(tactic/derive_fintype): derive fintype instances (#3772) …
Added multiset.nodup_iff_pairwiseView on Github →