mathlib3
fix(data/multiset): remove duplicate setoid instance
#1027

Merged

fix(data/multiset): remove duplicate setoid instance #1027

mergify merged 3 commits into master from perm-setoid

fix(data/multiset): remove duplicate setoid instance

f5c117ce

jcommelin requested a review 6 years ago

digama0 commented on 2019-05-14

s/ : Type uu//

5ac56f0b

ChrisHughes24 approved these changes on 2019-05-14

ChrisHughes24 added ready-to-merge

Merge branch 'master' into 'perm-setoid'

d9c4af03

mergify merged fe19bdb4 into master 6 years ago

mergify deleted the perm-setoid branch 6 years ago

Reviewers

ChrisHughes24

digama0

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone