News for hackers. Stuff that matters.
Re:1/0 = 0 by lisael on Friday August 10, 2018 @09:00PM (#17737722)
To elaborate on the 'nice little shortcut' you mentioned, here it is:

If a==b and N≠0, then x==y

EDIT: Formatting

Re:1/0 = 0 by ummonk on Friday August 10, 2018 @11:41PM (#17738188)
No, that is not necessary.

"Given an x, y, and N such that x/N == y/N, it is true that x == y".

There is no need to say N != 0 under the ordinary definition of division.