basic): `multiset.coe_eq_singleton` (#15910)

Commit

2 years ago

feat(data/multiset/basic): `multiset.coe_eq_singleton` (#15910) Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>

Author

vihdzp

Parents