Commit Graph

3 Commits

Author SHA1 Message Date
Amos Bird
4624bf70b0
Always monotonic for non-zero division 2021-08-28 23:33:18 +08:00
Amos Bird
4770175aa3
more tests 2020-09-15 10:02:26 +08:00
Amos Bird
34b9547ce1
Binary operator monotonicity 2020-09-13 21:55:12 +08:00