Skip to content

[breaking] Fix a<=b to return a-b in Nonpositives instead of b-a in Nonnegatives#593

Merged
odow merged 3 commits into
masterfrom
od/fix-leq
Apr 16, 2024
Merged

[breaking] Fix a<=b to return a-b in Nonpositives instead of b-a in Nonnegatives#593
odow merged 3 commits into
masterfrom
od/fix-leq

Commits

Commits on Apr 15, 2024