mathlib3

6f58fc46 - tidied monoid_algebra_basis a bit