Open in Damus
そん
@そん
1790036571
そうなるとP=NPがZFCが独立なこともいよいよありえるんでない？という気持ち
