MathCheck Array Claim Problem 4 / 15

The array `Delta` is indexed from `0` to `i`. Write a predicate saying that `Delta` contains number `2` at least once. array_claim DE[0...i] f_nodes 20 EE h; 0 <= h <= i: DE[h] = 2 <=>

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

or