MathCheck Array Claim Problem 8 / 15

The array `i` is indexed from `2` and contains `a+1` elements. Write a predicate saying that some value in `i` occurs only once in `i`. array_claim i[2...a+2] f_nodes 30 EE k; 2 <= k <= a+2: AA h; 2 <= h <= a+2 /\ h != k: i[k] != i[h] <=>

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

or