chore(Algebra/FreeMonoid): avoid defeq abuse of FreeMonoid as List#37241

b-mehta wants to merge 3 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

b-mehta:free-monoid-defeqb-mehta/mathlib4:free-monoid-defeqCopy head branch name to clipboard