Yaël Dillies (Nov 08 2021 at 17:56):
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?
Last updated: Aug 03 2023 at 10:10 UTC