Even

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

Even predicate.

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