Even

Input: Even(n)
n evenn \text{ even}

Even predicate.

Last updated: 2020-03-06 00:22:16