chore(algebra/order_functions): some proofs work for semirings (#1183)
chore(algebra/order_functions): some proofs work for semirings (#1183)

* chore(algebra/order_functions): some proofs work for semirings, not only rings

* Update order_functions.lean

leanprover-community/mathlib,leanprover-community/mathlib