MathCheck Array Claim Problem 1 / 15

The array `A` is indexed from `1` to `n`. Write a predicate saying that `A` is in increasing order.

or

This file was generated 2017-06-09 08:36:02 UTC.