Commit 2022-01-21 15:40 9c39019f
View on Github →refactor(src/order/bounded): Invert iff direction (#11582)
That way, unbounded_gt_iff_unbounded_ge
corresponds to unbounded_lt_iff_unbounded_le
.
refactor(src/order/bounded): Invert iff direction (#11582)
That way, unbounded_gt_iff_unbounded_ge
corresponds to unbounded_lt_iff_unbounded_le
.