...Texts: The Case of Conventions for Division by Zero |...
On the basis of the first and only assumption, it can be shown that the fracterm that comes later can have a zero denominator. Legal:\(\textsf {given~} x: \mathbb {Q}; \)now-if\(x \ne 0\)then\(\displaystyle \frac{x}{x} = 1\). ...