Commit 2024-11-07 19:30 c77db0dd
View on Github →feat(Algebra/FreeMonoid/Basic): length three (#18582) Add in a lemma saying that a FreeMonoid element of length 3 is given by the product of three generators
feat(Algebra/FreeMonoid/Basic): length three (#18582) Add in a lemma saying that a FreeMonoid element of length 3 is given by the product of three generators