MathCheck Array Claim Problem 12 / 15

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

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

or