Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-10-24 02:49 31c73c1d

View on Github →

feat(data/multiset): map_eq_map_of_bij_of_nodup (#1590)

Estimated changes

Modified src/algebra/big_operators.lean

Modified src/data/multiset.lean

added theorem multiset.eq_zero_iff_forall_not_mem

added theorem multiset.map_eq_map_of_bij_of_nodup