3 ms·
No, the type annotation merely specifies that the codomain of f is Z. It's not intended to specify the range of the function. Z+ is not the range of this f eit
by tromp 3y ago
No, the type annotation merely specifies that the codomain of f is Z. It's not intended to specify the range of the function.
Z+ is not the range of this f either; it is Z^{>=0}.