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

60t.json

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.