mathlib

589ebf59 - chore(algebra/*): add a few `prod.*` instances (#4659)

chore(algebra/*): add a few `prod.*` instances (#4659) * `prod.left_cancel_semigroup`; * `prod_right_cancel_semigroup`; * `prod.ordered_cancel_comm_monoid`; * `ordered_comm_group`.