Odd

Input: Odd(n)
$$n \text{ odd}$$

Odd predicate.

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