mathlib
41a72546 - feat(algebra/free_monoid): action of the `free_monoid` (#16746)

Commit

3 years ago

feat(algebra/free_monoid): action of the `free_monoid` (#16746)

Author

urkud

urkud

Parents

Loading