MathCheck Array Claim Problem 2 / 15

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

end_of_answer next_URL https://math.tut.fi/mathcheck/array_claim3.html

or