LessEqual

Input: LessEqual(x, y)
xyx \le y

Inequality.

Input: LessEqual(x, y, z)
xyzx \le y \le z

Chain of inequalities.

Last updated: 2020-03-06 00:22:16