MathCheck Array Claim Problem 1 / 15

The array `A` is indexed from `1` to `n`. Write a predicate saying that `A` is in increasing order. array_claim A[1...n] f_nodes 20 AA i; 1 <= i < n: A[i] <= A[i+1] <=>

end_of_answer next_URL http://users.jyu.fi/%7eava/array_claim2.html

or