Re:Division by zero in type theory: a FAQ
by ogogmad on Monday July 06, 2020 @05:07PM
(#23752769)
The codomain doesn't have to equal the image. The image is the non-zero reals, but the codomain could be any superset of it (including all of R). The word "range" is ambiguous.
[ Parent
| on HN ]