Inter-universal geometry と ABC予想 (応援スレ) 61at MATHInter-universal geometry と ABC予想 (応援スレ) 61 - 暇つぶし2ch964:１３２人目の素数さん 21/12/07 20:04:16.92 .net>>906 coqで記述できるならそもそも誰も 分からんなんて言わないと思うんだよな 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch