mathlib3
099ffd38 - chore(algebra/free_monoid): use implicit args in `lift` (#2821)

Commit

5 years ago

chore(algebra/free_monoid): use implicit args in `lift` (#2821)

Author

urkud

urkud

Parents

Loading