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

Also add `free_monoid.of_list_smul`.





leanprover-community/mathlib,leanprover-community/mathlib