mathlib3
feat(data/multiset): map_eq_map_of_bij_of_nodup
#1590

Merged

feat(data/multiset): map_eq_map_of_bij_of_nodup #1590

mergify merged 2 commits into master from multiset_map

feat(data/multiset): map_eq_map_of_bij_of_nodup

7c576776

kim-em added awaiting-review

rwbarton approved these changes on 2019-10-24

rwbarton removed awaiting-review

rwbarton added ready-to-merge

Merge branch 'master' into multiset_map

0ee23f76

mergify merged 31c73c1d into master 6 years ago

mergify deleted the multiset_map branch 6 years ago

Reviewers

rwbarton

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone