Skip to content

Order an inequality's endpoints by a comparison that can be made (#757) - #761

Merged
Rafael-SOWNet merged 2 commits into
masterfrom
fix/inequality-endpoint-order
Aug 6, 2026
Merged

Order an inequality's endpoints by a comparison that can be made (#757)#761
Rafael-SOWNet merged 2 commits into
masterfrom
fix/inequality-endpoint-order

Un-skip the two inequalities the ordering answers, and say what the r…

5cdb1a5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar