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 2018-09-22 16:05:48 UTC.