"[@5hc] Thanks for the edit! I made a couple of ..."

https://arbital.com/p/60t

by Patrick Stevens Aug 28 2016


Ilia Zaichuk Thanks for the edit! I made a couple of linguistic changes, and made the "uniqueness of $~$\emptyset$~$" a bit less compact.