mathlib3
c64b9224 - refactor(algebra/free): review API, redefine `free_semigroup` (#17144)

Commit

3 years ago

refactor(algebra/free): review API, redefine `free_semigroup` (#17144)

Author

urkud

urkud

Parents

Loading