mathlib3
43efa804 - feat(algebra/free_monoid): add `decidable_eq` instance (#17163)

Commit

3 years ago

feat(algebra/free_monoid): add `decidable_eq` instance (#17163) Also add `free_monoid.of_list_smul`.

Author

urkud

Parents