feat(algebra/ordered_ring): `linear_ordered_semiring` extends `linear_ordered_add_comm_monoid` (#8961)
feat(algebra/ordered_ring): `linear_ordered_semiring` extends `linear_ordered_add_comm_monoid` (#8961)





Co-authored-by: Yakov Pechersky <9925c0c20eafe10b1eaac37c5fe124dc0b28ca8c@users.noreply.github.com>

leanprover-community/mathlib,leanprover-community/mathlib