Definitions
builtin nat-le <= : Nat → Nat → BoolSource#
Returns true iff the first element is less than or equal to the second.
builtin nat-lt < (n m : Nat) : BoolSource#
Returns true iff the first element is less than the second.
Returns true iff the first element is greater than or equal to the second.