Item
0.4.12.b
.
\(f:\Z \to \Z\)
given by
\(f(n) = n+4\text{.}\)
in-context