Commit 2021-09-30 08:02 089614b1

feat(algebra/star): If R is a star_monoid/star_ring then so is Rᵒᵖ (#9446) The definition is simply that op (star r) = star (op r)