has_ordered_div

Stream: general

[Yaël Dillies]

We have docs#has_ordered_sub. What would has_ordered_div look like? A straight syntax change would rule out any non canonically ordered monoid, so maybe we instead want to take 0 < c in?