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

Commit

6 years ago

fix(data/multiset): remove duplicate setoid instance (#1027) * fix(data/multiset): remove duplicate setoid instance * s/ : Type uu//

References

Author

jcommelin

Committer

mergify[bot]

Parents