# 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-08-16 12:27:48 UTC.