return to top
source
IsSquare
Even
IsSquare can be decided on ℕ by checking against the square root.
ℕ
If m and n are natural numbers, then the natural number m^n is even if and only if m is even and n is positive.
m
n
m^n