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

Merged

Commits

fix(data/multiset): remove duplicate setoid instance

jcommelin committed 6 years ago
s/ : Type uu//

jcommelin committed 6 years ago
Merge branch 'master' into 'perm-setoid'

mergify-bot committed 6 years ago

Loading