mathlib3

d5f356aa - feat(algebra/star): allow star_module to be used on non-commutative rings