Allen Chou says to YSITD
證明一個矛盾句可以推出任何東西
at Thu, Apr 9, 2020 4:41 PM