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