{monoid,ring}): missing typeclasses about `*` and `+` on `order_dual` (#13004)

Commit

3 years ago

chore(algebra/order/{monoid,ring}): missing typeclasses about `*` and `+` on `order_dual` (#13004)

Author

eric-wieser

Parents