MathCheck Array Claim Problem 5 / 15

The array `u` is indexed from `2` to `n-1`. Write a predicate saying that `u` contains at least two different values. array_claim u[2...n-1] f_nodes 20 EE i: EE j; 2 <= i < j < n: u[i] != u[j] <=>

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

or