mathlib3

ca9d6c5e - rename star_semigroup star_magma