Here’s a good document defending the merits of this design. https://xenaproject....

		zodiac 1 day ago \| parent \| context \| favorite \| on: Some Junk Theorems in Lean Here’s a good document defending the merits of this design. https://xenaproject.wordpress.com/2020/07/05/division-by-zer...