MathCheck Array Claim Problem 10 / 15

The array `Gamma` is indexed from `-2` to `g`. Write a predicate saying that the first and last elements of `Gamma` are equal. array_claim GA[-2...g] f_nodes 20 GA[-2] = GA[g] /\ g >= -2 <=>

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

or