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 https://webpages.tuni.fi/mathcheck/array_claim2.html
or
This file was generated 2017-08-16 12:27:48 UTC.