>>759
そこどうするかね
ギャップがあるところも特定していて
ss論文が正しかったわけなのに誤魔化せるかね

ss論文では望月語からss語に書き換えた議論になってるわけだけど
両方Leanで書けば面白いよね
要するに>>7の議論を形式的に突き詰めるということだけど