mathlib3

3fe449e1 - feat(algebra/free): free magma, semigroup, monoid (#735)