コラッツ予想がとけたらいいな　その2

コラッツ予想がとけたらいいな　その2at MATH

コラッツ予想がとけたらいいな　その2 - 暇つぶし2ch366:righ1113
18/06/30 13:47:05.15 LW37VaWU.net
>>343
ありがとうございます。
ということは、僕のCoqの証明がどこか間違っているのですね。お騒がせしました。