Researchers debated the provability of the conjecture before attempting to formalize the proof.
研究者たちは、証明を形式化しようとする前に、その予想が証明可能かどうかについて議論した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
