Comment on Some Junk Theorems in LeanparentComments−zodiac8moHere’s a good document defending the merits of this design. https://xenaproject.wordpress.com/2020/07/05/division-by-zer...
Comments
Here’s a good document defending the merits of this design. https://xenaproject.wordpress.com/2020/07/05/division-by-zer...