mathlib

0926e674 - feat(algebra/star): star_ordered_ring (#4685)

feat(algebra/star): star_ordered_ring (#4685) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com>