MathCheck Array Claim Problem 11 / 15

The array `A` is indexed from `1` and has `n` elements. Write a predicate saying that the element in location `2` is minimal in `A`. array_claim A[1...n] f_nodes 20 n >= 2 /\ AA i; 1 <= i <= n: A[i] >= A[2] <=>

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

or