Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-09-30 13:10 be05d53c

View on Github →

feat(algebra/free_monoid): add 2 lemmas (#16712)

Estimated changes