order): generalize some lemmas to `ordered_comm_semiring` (#6950)

Commit

4 years ago

chore(algebra/big_operators/order): generalize some lemmas to `ordered_comm_semiring` (#6950)

Author

urkud

Parents