mathlib

cc9de07a - feat(algebra/star): replace star_monoid with star_semigroup (#12299)

feat(algebra/star): replace star_monoid with star_semigroup (#12299) In preparation for allowing non-unital C^* algebras, replace star_monoid with star_semigroup. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>