Inter-universal geometry と ABC予想 (応援スレ) 61at MATH
Inter-universal geometry と ABC予想 (応援スレ) 61 - 暇つぶし2ch959:132人目の素数さん
21/12/07 20:00:23.07 vZMpC9Ch.net
>>885
だからそのまでcoqに入るん?
入らへんやろ?
入るんやったら入れて世界に見せたらええやん?


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch