count): new file (#16829)

Commit

3 years ago

feat(algebra/free_monoid/count): new file (#16829) * add `algebra.free_monoid.count`; * move `algebra.free_monoid` to `algebra.free_monoid.basic`.

Author

urkud

Parents