divide by zero

Stream: maths

[Andrew Ashworth]

Lean was mentioned in a blog post about 1/0 = 0! https://www.hillelwayne.com/post/divide-by-zero/

[Reid Barton]

These things are conventions, exactly the same as announcing that x^-n = 1/x^n and that x^0 = 0.

[Johan Commelin]

Aaaahrg... They chose 19 instead of 57. Do they want a broken system anyway!?