>>956
間違ってるって言ってる方がその論文を形式化してLeanで証明した方が早いんじゃね？ってこと
そんなに自明だ当たり前だって言ってんなら